MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 16-Dec-96 23:14:48 GMT
Content-Type: text/html
Content-Length: 2672
Last-Modified: Monday, 26-Aug-96 21:08:54 GMT
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.