CPSC 429/529: Functional Programming

 

Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: MWF 9:30-10:20
Room: AKW400

  Home
  Schedule
  Handouts
  Assignments
  Projects
  Links
 
  

Lecture 33: Standard ML.

In this lecture we are discussing a strict language that has resulted from our original formal system by makeing a different design choice of what values are.

Further Reading:

Larry Paulson. ML for the Working Programmer, 2nd edition, Cambridge University Press, 1996.

Previous lecture: Lecture 32
Next lecture: Lecture 34