The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Band 45)