Media Summary: The HM type-inference relation adds a set of "collected constraints" to the Defining and implementing the small-step substitution-model semantics of a Modifying the parser and AST to incorporate
Simpl Type Checker Part 2 Ocaml Programming Chapter 9 Video 35 - Detailed Analysis & Overview
The HM type-inference relation adds a set of "collected constraints" to the Defining and implementing the small-step substitution-model semantics of a Modifying the parser and AST to incorporate Implementing an environment-model big-step interpreter for a How to implement `let` expressions, including substitution, in the calculator interpereter Textbook: ... Defining and implementing the big-step substitution-model semantics of a
How to add inference of `let` expressions to HM The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ...
