semantics
Isabelle
★ 0
updated 9y ago
Formalisation of the languages developed in the 'Semantics of Programming Languages' course at the Computer Laboratory in Cambridge.
No plain-English explanation yet — one is being written right now. Check back in a minute.