UNSW   Faculty of Engineering myCSEPRINT VERSIONSITE MAP  
cse | School of Computer Science and Engineering (CRICOS Provider No. 00098G)
    #About CSE     #Undergraduate Study     #Postgraduate Study     #Timetables & Courses     #Research & Publications     #People & Work Units     #Help & Resources     #News & Events     #High School Portal

Last updated 01.03.04

Advanced Functional Programming [COMP4132]

Session 1, 2004

Recommended Reading

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:

  • Types 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.
Top Of Page

Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement