http://www.cs.cornell.edu/Info/Courses/Spring-96/CS512/handouts.html
CS512: Handouts
CS 512: Advanced Language Implementation Handouts
Handouts:
- Course Overview (dvi file)
- Introduction to SML, R. Harper (postscript file)
- Interpreting the Lambda-Calculus in SML (dvi file)
- (Homework: Due Friday. Ignore problem 5.)
- (Sample solution to the programming problems.)
- Avoiding the Overheads of Substitution (dvi file)
- LAMBDA: A Lambda-Calculus Based Intermediate Language (dvi file)
- Conventional Optimization of LAMBDA (dvi file)
- Assignment 2: Simple Optimization of LAMBDA (dvi file)
- Some related optimization documents:
- Closure Conversion of LAMBDA (dvi file)
-
Abstract Models of Memory Management, G. Morrisett, M. Felleisen, R. Harper
- Uniprocessor Garbage Collection Techniques, P. Wilson
- Assignment 3: Optimization, Closure Conversion, and GC (dvi file)
- A Simple Copying Collector (sml code)
- Introduction to Advanced Control Constructs (dvi file)
- Operational Semantics for Advanced Control Constructs (dvi file)
- Implementing Evaluation Contexts (dvi file)
- Assignment 4: Closure Conversion (take 2) and Garbage Collection(dvi file)
- Adding Threads to Standard ML, E. Cooper and G. Morrisett (postscript)
- A Portable Multiprocessing Interface for Standard ML of New Jersey,G. Morrisett and A. Tolmach (postscript)
- CML: A Higher-Order Concurrent Language,J.H. Reppy (postscript)
- Assignment 5: Fun with Threads and Modules(dvi file)
Back to the CS512 homepage.