Relevant Links
# | Episode Title | Description | People | Date | |
---|---|---|---|---|---|
1 | SIS, a semantics implementation system | During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their denotational semantics. | Peter Mosses | 26 Jun 2017 |