![](/img/cover-not-exists.png)
The interaction of contracts and laziness
Degen, Markus, Thiemann, Peter, Wehr, StefanVolume:
25
Language:
english
Journal:
Higher-Order and Symbolic Computation
DOI:
10.1007/s10990-013-9094-y
Date:
March, 2012
File:
PDF, 1.07 MB
english, 2012