The interaction of contracts and laziness

Degen, Markus; Thiemann, Peter; Wehr, Stefan

doi:10.1145/2103746.2103766

Cited by 10 publications

(13 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, with that choice our contracts are neither partial identities, nor idempotent (the properties of Figure 4 are unaffected). The reason is that contracts such as For related reasons other works [1,8] restricted the definitions of contracts such that a contract can never introduce ⊥ itself. However, the desirable freedom to use the whole language to define contracts and the fact that we are just defining a library makes this an impractical choice.…”

Section: Distinct Contract Exceptionsmentioning

confidence: 99%

See 1 more Smart Citation

Practical typed lazy contracts

ChitilOlaf

2012

SIGPLAN Not.

View full text Add to dashboard Cite

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.

show abstract

Section: Distinct Contract Exceptionsmentioning

confidence: 99%

“…Comparing Contracts Degen, Thiemann and Wehr [7,8] classify existing contract systems for Haskell as eager (straight translation of [12]), semi-eager [19] and lazy [3][4][5]. They check whether the systems meet their desirable properties of meaning preservation and completeness.…”

Section: =[-3]mentioning

confidence: 99%

Practical typed lazy contracts

ChitilOlaf

2012

SIGPLAN Not.

View full text Add to dashboard Cite

show abstract

“…Degen, Thiemann and Wehr [7,8] classify existing contract systems for Haskell as eager (straight translation of [12]), semi-eager [19] and lazy [3][4][5]. They check whether the systems meet their desirable properties of meaning preservation and completeness.…”

Section: Comparing Contractsmentioning

confidence: 99%

Practical typed lazy contracts

Chitil

2012

Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming

View full text Add to dashboard Cite

show abstract

“…A APPENDIX This appendix presents two alternative higher-order approaches, called co-natural and forgetful, and their logical implications. Co-natural enforces all non-base types with monitors [Degen et al 2012;Findler et al 2007]. Forgetful limits each value to at most one monitor [Greenberg 2015].…”

mentioning

confidence: 99%

A spectrum of type soundness and performance

Greenman

Felleisen

2018

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

The literature on gradual typing presents three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. This paper presents a uniform semantic framework that explains all three approaches, illustrates how each approach affects a developer's work, and adds a systematic performance comparison for a single implementation platform.

show abstract

The interaction of contracts and laziness

Cited by 10 publications

References 18 publications

Practical typed lazy contracts

Practical typed lazy contracts

Practical typed lazy contracts

A spectrum of type soundness and performance

Contact Info

Product

Resources

About