Contracts as Pairs of Projections

DOI10.1007/11737414_16zbMath1185.68193OpenAlexW1526601993MaRDI QIDQ3434635

Robert Bruce Findler, Matthias Blume

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11737414_16

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

An extended account of contract monitoring strategies as patterns of communication ⋮ Space-efficient gradual typing ⋮ 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

This page was built for publication: Contracts as Pairs of Projections