Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman - Lazy initialization - Document - PDFSEARCH.IO

First Page	Meta Content
	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Document Date: 2010-07-30 13:11:03 Open Document File Size: 159,43 KB Share Result on Facebook

Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational semanAdd to Reading List