Session 1, 2004
Giving a Research Presentation
Types Systems & Semantics of Programming Languages
As background reading regarding types systems and the semantics
of programming languages, I specifically recommend the first of the
following three books; the other two are useful, too:
and Programming Languages,
Benjamin C. Pierce, MIT Press, 2002.
- Foundations of Programming Languages,
John C. Mitchell, MIT Press, 1996.
- Semantics of Programming Languages---Structures and
Techniques, Carl A. Gunter, MIT Press, 1992.
Compilation of Functional Languages
Regarding the compilation of functional languages based on graph
reduction, there is the following standard textbook:
- The Implementation of Functional Programming Languages,
Simon L. Peyton Jones, Prentice-Hall, 1987.
Moreover, Appel has written a general compilers book that uses SML as
the implementation language and also has a chapter dedicated to the
particulars of compiling functional languages:
- Modern Compiler Implementation in ML, Andrew W. Appel,
Cambridge University Press, 1998.