A foundation for space-safe transformations of call-by-need programs (1999)

by Jörgen Gustavsson, David Sands
Venue:In Proceedings of Workshop on Higher Order Operational Techniques in Semantics, number volume 26 of Electronic Notes in Theoretical Computer Science