The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45): Asperti, Andrea, Guerrini, Stefano: 9780060815424: Amazon.com: Books book