The Brisk machine: A simplified STG machine (1997)

by I Holyer, E Spiliopoulou
Venue:In Workshop on Implementation of Functional Languages, IFL’97