School of Computer Science and Engineering, UNSW

CRICOS Provider No. 00098G

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:

Compilation of Functional Languages

Regarding the compilation of functional languages based on graph reduction, there is the following standard textbook:

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:

Top Of Page

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