What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsEducation
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. It involved partial evaluation of lambda-notation, impl...
About This Episode
SIS, a semantics implementation system is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing p...
Podcast
This episode belongs to Strachey 100: an Oxford Computing Pioneer.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jun 26, 2017, 29:30 long, audio available.
Related Episodes
Continue listening to more episodes from Strachey 100: an Oxford Computing Pioneer.
Parametric Polymorphism and models of storage
Jun 26, 2017 - 40:29
Probabilistic Programming
Jun 26, 2017 - 34:14
Christopher Strachey, First-Class Citizen
Jun 26, 2017 - 31:03
A modelling language approach to defining mathematical structures via semantics
Jun 26, 2017 - 33:10
Greetings to the participants at “Strachey 100”
Jun 26, 2017 - 23:59
Strachey: school master, language designer, colleague
Jun 26, 2017 - 44:11
Semantic relationships: reducing the separation between practice and theory
Jun 26, 2017 - 35:40