Practical typed lazy contracts
From MaRDI portal
Publication:5168882
DOI10.1145/2364527.2364539zbMath1291.68112OpenAlexW2116323891MaRDI QIDQ5168882
Publication date: 21 July 2014
Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/30790/1/contacts.pdf
Related Items (5)
A Debugger-Cooperative Higher-Order Contract System in Python ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ The interaction of contracts and laziness ⋮ Contract ⋮ Blame and coercion: Together again for the first time
Uses Software
This page was built for publication: Practical typed lazy contracts
