Radio and PodcastRadio and PodcastLive Radio & Podcasts
SIS, a semantics implementation system artwork
Education

SIS, a semantics implementation system

Strachey 100: an Oxford Computing Pioneer by Oxford University

Jun 26, 201729:30Education

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...

Related Episodes

Continue listening to more episodes from Strachey 100: an Oxford Computing Pioneer.

What are types for?

Jun 26, 2017 - 31:40

Types in programming languages are commonly thought of as a way of preventing certain bad things from hap...

Probabilistic Programming

Jun 26, 2017 - 34:14

Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester U...