Media Summary: Implementing the parsing of integer constants in the Implementing the multiplication operator in the Implementing the evaluation of integer constants in the
Calculator Addition Ocaml Programming Chapter 9 Video 6 - Detailed Analysis & Overview
Implementing the parsing of integer constants in the Implementing the multiplication operator in the Implementing the evaluation of integer constants in the Implementing the smallest details of syntax in the How to implement `let` expressions, including substitution, in the Proof by induction of correctness of a function that computes the summation of an integer sequence Textbook: ...
HM type inference of `let` expressions led to type schemes, which enabled polymorphism. The "environment model" differs from the "substitution model" by lazily recording substitutions in a map Textbook: ... A proof by structural induction that length distributes over append Textbook:
