The optimal implementation of functional programming languages - Asperti, Andrea, 1961- (Cambridge Tracts in Theoretical Computer Science ;, 1998)