Typed Contracts for Functional Programming

DOI10.1007/11737414_15zbMath1185.68195OpenAlexW2139597778MaRDI QIDQ3434634

Johan Jeuring, Andres Löh, Ralf Hinze

Publication date: 2 May 2007

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/20795

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

An extended account of contract monitoring strategies as patterns of communication ⋮ The Essence of Functional Programming on Semantic Data ⋮ Contracts made manifest ⋮ The interaction of contracts and laziness ⋮ Eager and delayed contract monitoring for call-by-value and call-by-name evaluation ⋮ Blame and coercion: Together again for the first time ⋮ Gradual type theory

Uses Software

• Haskell

This page was built for publication: Typed Contracts for Functional Programming