What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsEducation
Strachey: the Bloomsbury Years
A historian’s perspective on the earlier years of Christopher Strachey’s life. The talk covers his familial connections, his early career as a school master, and his first computing projects.
About This Episode
Strachey: the Bloomsbury Years is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. A historian’s perspective on the earlier years of Christopher Strachey’s life. The talk covers his familial connections, his e...
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, 34:40 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