The optimal implementation of functional programming languages, in: Cambridge Tracts in Theoretical (1998)

by A Asperti, S Guerrini
Venue:Knapik / Theoretical Computer Science 281 (2002) 177 – 206