To support parametric polymorphism, we'll introduce type schemes, which represent the type of a polymorphic function.
Type Scheme:
You don’t need a CMU ID to learn this. The canonical texts for "15312 foundations of programming languages" are: 15312 foundations of programming languages
Our type inference algorithm is based on the Hindley-Milner algorithm. We'll extend it to support parametric polymorphism. To support parametric polymorphism
Algorithm Steps: