Media Summary: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... How to raise exceptions, which are really variants. Textbook: Defining a small-step substitution-model semantics for a core fragment of
Ocaml Tutorial 21 33 More - Detailed Analysis & Overview
My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... How to raise exceptions, which are really variants. Textbook: Defining a small-step substitution-model semantics for a core fragment of A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
