Media Summary: How to infer the type of `if` expressions in HM Achieving polymorphism for `let` expressions in HM How to add inference of `let` expressions to HM
Finishing Type Inference Ocaml Programming - Detailed Analysis & Overview
How to infer the type of `if` expressions in HM Achieving polymorphism for `let` expressions in HM How to add inference of `let` expressions to HM How to infer the type of anonymous functions (lambdas) in HM A "closure" is a data structure containing the code for a function, as well as the environment that "closes" off its free variables. How to infer the type of function applications in HM
![[WITS'25] Invited Talk: Type inference in OCaml and GHC using Levels](https://i.ytimg.com/vi/iFUrhTQi0-U/mqdefault.jpg)
