Media Summary: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Modifying the parser and AST to incorporate type annotations on ` Defining a small-step substitution-model semantics for a core fragment of
Let Expressions Ocaml Programming Chapter - Detailed Analysis & Overview
A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... Modifying the parser and AST to incorporate type annotations on ` Defining a small-step substitution-model semantics for a core fragment of How to define the substitution operation for simple Defining the type system for a simple language Textbook: The environment-model semantics of functions requires careful attention to scope Textbook:
Using pattern matching to access the pieces of a variant. Textbook: Applying functions to arguments. Textbook:
