Principles and applications of refinement types

DOI10.3233/978-1-60750-100-8-73MaRDI QIDQ3060978zbMATH OpenOpenAlexFDO

Authors Andrew D. Gordon, Cédric Fournet

Publication date 13 December 2010

Full work available at URL https://research.microsoft.com/en-us/um/people/adg/publications/msr-tr-2009-147.pdf

zbMATH Keywords

refinement types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Types and invariants in the refinement calculus
• Bounded refinement types
• Type Reconstruction for General Refinement Types
• Gradual refinement types
• An effective theory of type refinements

Cited in

(10)

• Bounded refinement types
• Type-based access control in data-centric systems
• Refinement types for logical frameworks and their interpretation as proof irrelevance
• Refinement Types as Proof Irrelevance
• scientific article; zbMATH DE number 1104376 (Why is no real title available?)
• scientific article; zbMATH DE number 1487738 (Why is no real title available?)
• Type Reconstruction for General Refinement Types
• Understanding, Explaining, and Deriving Refinement
• Logic of refinement types
• Types and invariants in the refinement calculus

This page was built for publication: Principles and applications of refinement types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060978)