Tracing lazy functional languages (1996)

by J Gibbons, K Wansbrough
Venue:In Proceedings of Computing: The Australasian Theory Symposium