The Optimal Implementation of Functional Programming Languages, volume 45 of Cambridge Tracts (1998)

by A Asperti, S Guerrini
Venue:in Theoretical Computer Science