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 13: More on unification

We talked some more about Hindley Milner polymorphism and type inference.

Source Code:

lazystreams.hs

Further Reading:

Paul Hudak. The Haskell School of Expression. Cambridge University Press, 2000.

Previous lecture: Lecture 12
Next lecture: Lecture 14