Radio and PodcastRadio and PodcastLive Radio & Podcasts
Semantic relationships: reducing the separation between practice and theory artwork
Education

Semantic relationships: reducing the separation between practice and theory

Strachey 100: an Oxford Computing Pioneer by Oxford University

Jun 26, 201735:40Education

Christopher Strachey believed that the gap between theory and practice was impeding the development of computing science. In Robert’s talk, he considers how the work he did with Strachey on the essay that ultimately beca...

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