Practical Typed Lazy Contracts

Chitil, Olaf (2012) Practical Typed Lazy Contracts. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012). (doi: (Full text available)

PDF (With proof appendix and minor corrections.) - Updated Version
Download (196kB) Preview
Official URL


Until now there has been no support for specifying and enforcing contracts within a lazy functional program. That is a shame, because contracts consist of pre- and post-conditions for functions that go beyond the standard static types. This paper presents the design and implementation of a small, easy-to-use, purely functional contract library for Haskell, which, when a contract is violated, also provides more useful information than the classical blaming of one contract partner. From now on lazy functional languages can profit from the assurances in the development of correct programs that contracts provide.

Item Type: Conference or workshop item (Paper)
Additional information: Version with proof appendix and minor corrections.
Uncontrolled keywords: purely functional, lazy, library, Haskell
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Olaf Chitil
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 28 Oct 2016 10:50 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):