What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsEducation
Strachey and the Oxford Programming Research Group
Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming Research Group (PRG). The talk covers the foundation of the PRG and the research performed at the (PRG), with an...
About This Episode
Strachey and the Oxford Programming Research Group is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming...
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, 33:45 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