Faster production of redex trails: The Hat G-Machine (2005)

by Tom Shackell, Colin Runciman
Venue:Proc. 6th Symposium on Trends in Functional Programming (TFP 2005