CSE341: Programming Languages Lecture 10 References, Polymorphic Datatypes, the Value Restriction, Type Inference Ben Wood, filling in for Dan Grossman.
