Markus Degen, Peter Thiemann, Stefan Wehr. The interaction of contracts and laziness. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 97-106, ACM, 2012. [doi]
Abstract is missing.