The interaction of contracts and laziness
Markus Degen, Peter J. Thiemann, Stefan Wehr · 2012
Contract monitoring for strict higher-order functional languages has an intuitive meaning, an established theoretical basis, and a standard implementation. For lazy functional languages, the situation is less clear-cut. There is no agreed-upon intended meaning or theory, and there are competing implementations with subtle semantic differences.