CS410/510 Compiling Advanced Languages

Instructor: Andrew Tolmach

Course Information

• Syllabus (postscript)

Lecture Notes

• Lambda Calculus (3/28/00-3/30/00) (postscript) (4up postscript)
• Core Language (4/4/00-4/7/00) (postscript) (4up postscript)
• More Core Language (4/7/00-4/11/00) (postscript) (4up postscript)
• Type Systems (4/14/00) (postscript) (4up postscript)
• Polymorphic Type Systems (4/18/00) (postscript) (4up postscript)
• Subtyping (4/25/00) (postscript) (4up postscript)
• More Subtyping (4/28/00) (postscript)
• Revised Notes on Subtyping, Records, and Variants (postscript)
• Type Inference (5/5/00) (postscript) (4up postscript)
• Existential Types(5/9/00) (postscript) (4up postscript)
• More Existential Types(5/9/00) (postscript) (4up postscript)
• Closures(5/9/00) (postscript) (4up postscript)
• Closure Conversion using Algebraic Data Types (5/??/00) (postscript)
• Interpreters to Abstract Machines (5/19/00) (postscript) (4up postscript)
• Interpreters and Continuation Passing Style (5/26/00) (postscript) (4up postscript)
• Garbage Collection (5/30/00) (postscript) (4up postscript)

Homework Assignments

• Homework 1 (due 4/7/00) (postscript) Supporting code: lambda.ml Suggested solutions
• Homework 2 (due 4/18/00) (postscript) Supporting code: core.ml Suggested solutions
• Homework 3 (due 5/9/00) (postscript) Supporting code: load.ml env.mli env.ml tcore.ml interp.ml check0.ml examples.ml
• Homework 4 (due 5/30/00) (postscript) Supporting code: load.ml env.mli env.ml tcore.ml pnf.ml pnfinterp.ml tcore2pnf.ml examples.ml
• Final exam = Homework 5 (due 6/9/00) (postscript) Supporting code: load.ml env.mli env.ml tcore.ml check.ml pnf.ml pnfcheck.ml pnfinterp.ml pnfinterpc.ml pnfinterps.ml tcore2pnf.ml pnfnorm.ml pnfinterpn.ml examples.ml

Other Useful Links

• Objective CAML
• Standard ML literature list