[an error occurred while processing this directive]

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:

[an error occurred while processing this directive]