CPSC 429/529: Functional Programming
Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: MWF 9:30-10:20
Room: AKW200
|
|
Home |
|
|
Schedule |
|
|
Handouts |
|
|
Assignments |
|
|
Projects |
|
|
Links |
Lecture 36: ML with references.
We continue the discussion from last lecture by adding an appropriate static and dynamic semantics to this type system. Furthermore we show the type preservation theorem.
Further Reading:
Wright and Felleisen. A Syntactic Approach to Type Soundness. Information and Computation. Volume 115. 1994.
Previous lecture: Lecture 35
Next lecture: Lecture 37