1. Cheap deforestation for non-strict functional languages;Gill,1996
2. Xu D. N., Peyton Jones S.. Arity analysis. 2005. Working Notes.
3. Call Arity;Breitner,2015
4. Lazy evaluation: from natural semantics to a machine-checked compiler transformation;Breitner,2016
5. A short cut to deforestation;Gill,1993