Xavier Leroy, Compiling functional languages. Course given at the Spring School Semantics of programming languages, Agay, March 2002.
A set of 90 slides covering important aspects of the implementation of functional programming languages (including closure representation, abstract machines, control flow analysis, and representation of data).
This is a good starting point for anyone interested in the implementation of functiona languages. References to research papers are given throughout.
I seem recall someone around these parts is looking for info on compiling closures. This may be your lucky day.
A Postscript version is also available (two slides per page).
Posted to implementation by Ehud Lamm on 5/1/02; 11:53:47 PM
|