School of Computer Science and Engineering, UNSW
	CRICOS Provider No. 00098G

Recommended Reading

Giving a Research Presentation

• How to give a good research talk, Simon Peyton Jones, John Launchbury, John Hughes, SIGPLAN Notices 28(11), Nov 1993.

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.

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