A Loop-detecting Interpreter for Lazy, Higher-order Programs (1992)

by John Hughes, Chalmers Tekniska Hogskola, Alex Ferguson
Venue:Functional Programming, Workshops in Computing