Media Summary: How to infer the type of `if` expressions in HM How to infer the type of anonymous functions (lambdas) in HM A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
Type Inference Relation Ocaml Programming - Detailed Analysis & Overview
How to infer the type of `if` expressions in HM How to infer the type of anonymous functions (lambdas) in HM A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... How to add inference of `let` expressions to HM How to infer the type of function applications in HM How to infer the types of constants and names in HM
