Francisco Javier Espinosa Gutierrez
580 California St., Suite 400
San Francisco, CA, 94104
Order Functional Pure Type Systems
2002, Electronic Notes in Theoretical Computer Science
Sign up for access to the world's latest research
Abstract
AI
AI
The paper presents a novel framework for Order Functional Pure Type Systems (OFP-TS), designed to enhance the expressiveness and computational capability of existing type systems. OFP-TS leverages a structured approach to order functions, addressing limitations in current frameworks by allowing for more sophisticated type manipulation and verification. The proposed system is evaluated for its effectiveness and potential applications in programming language design and formal verification.