Slide 1 CSE341: Programming Languages Lecture 10 References, Polymorphic Datatypes, the Value Restriction, Type Inference Ben Wood, filling in for Dan Grossman Fall 2011…