Quick Overview: Defining module types with signatures Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: The syntax and semantics of ref cells Textbook:
Named Functions Ocaml Programming Chapter - Detailed Overview & Context
Defining module types with signatures Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: The syntax and semantics of ref cells Textbook: Defining the small-step semantics of `let` expressions, based on substitution Textbook: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
