Principles and Applications of Refinement Types

DOI10.3233/978-1-60750-100-8-73zbMath1213.68188OpenAlexW168400685MaRDI QIDQ3060978

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

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

Related Items (1)

Type-Based Access Control in Data-Centric Systems

This page was built for publication: Principles and Applications of Refinement Types