Search for tag: "semantics"

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod on August 16th, 2020 0 likes 226 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

From  Daniel Macleod on August 14th, 2020 0 likes 279 plays