2005-07-02 Programming Languages and Lambda Calculi functionals Matthias Felleisen Matthew Flatt ! 182p. http://www.cs.utah.edu/plt/publications/pllc.pdf