Academic
Publications
Principles and Applications of Refinement Types

Principles and Applications of Refinement Types,Andrew D. Gordon,Cédric Fournet

Principles and Applications of Refinement Types   (Citations: 3)
BibTex | RIS | RefWorks Download
A refinement type x:T|C is the subset of the type T consisting of the values x to satisfy the formula C. In these tutorial notes we explain the principles of refinement types by developing from first principles a concurrent lambda-calculus whose type system supports refinement types. Moreover, we describe a series of applications of our refined type theory and of related systems.
Published in 2009.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: