Contracts made manifest

DOI10.1017/S0956796812000135zbMath1311.68044MaRDI QIDQ5398336

Benjamin C. Pierce, Stephanie Weirich, Michael Greenberg

Publication date: 27 February 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Eiffel
• LNgen

Cites Work

• The Girard-Reynolds isomorphism (second edition)
• An extension of system \(F\) with subtyping
• A syntactic approach to type soundness
• Contracts for higher-order functions
• Typed Contracts for Functional Programming
• Contracts as Pairs of Projections
• Sound and complete models of contracts

This page was built for publication: Contracts made manifest