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 the type system for a simple language Textbook:
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 the type system for a simple language Textbook: Defining a small-step substitution-model semantics for a core fragment of How to define the substitution operation for simple The environment-model semantics of functions requires careful attention to scope Textbook:
Applying functions to arguments. Textbook: The syntax and semantics of ref cells Textbook:
