Coursework, Reproductions & Notes · reproduction

cambridge-semantics

Self-study exercises based on Cambridge programming-language semantics materials, including operational and mechanized treatments of small languages.

CA
Repositoryappleweiping/cambridge-semantics
Statusactive
Demo evidencenone
Last updated2026-07-07

Contribution

What this record demonstrates

Self-study reproduction based on the named public course or source material; upstream teaching materials remain attributed in the repository.

Technology and topics

OCamlMakefilecambridgecsdiyinterpreterocamloperational-semanticssemanticstheorytype-systemstypechecker

No public demo is currently available.