What are types for?
Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a numbe...
Radio and PodcastLive Radio & PodcastsEducation
Strachey 100: an Oxford Computing Pioneer
Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the Department of Computer Science at Oxford University. A...
Strachey 100: an Oxford Computing Pioneer Podcast Guide
Listen to Strachey 100: an Oxford Computing Pioneer, a Education podcast by Oxford University. Stream 12 episodes in English, follow new audio stories, and play episodes online on Radio and Podcast.
Show Topic
Browse this show under Education podcasts.
Episodes
12 episodes are available for this podcast.
Discover More
Explore Education podcasts, Chile podcasts and English podcasts.
Episodes
12 episodesParametric Polymorphism and models of storage
In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphism and abstract models of sto...
Probabilistic Programming
Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses th...
Christopher Strachey, First-Class Citizen
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.
A modelling language approach to defining mathematical structures via semantics
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds...
Greetings to the participants at “Strachey 100”
The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn...
Strachey: school master, language designer, colleague
In this panel discussion, three people who knew Christopher Strachey in different contexts talk about their memories of him. Michael Jackson...
Semantic relationships: reducing the separation between practice and theory
Christopher Strachey believed that the gap between theory and practice was impeding the development of computing science. In Robert’s talk,...
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...
Strachey and the development of CPL
Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL. At the time there...
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 co...
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...
Questions About Strachey 100: an Oxford Computing Pioneer
Where can I listen to Strachey 100: an Oxford Computing Pioneer episodes?
You can listen to Strachey 100: an Oxford Computing Pioneer episodes online on Radio and Podcast. Open an episode and the site player will stream the available audio.
What is Strachey 100: an Oxford Computing Pioneer about?
Strachey 100: an Oxford Computing Pioneer is listed as a Education show. The show language is listed as English.
How many Strachey 100: an Oxford Computing Pioneer episodes are listed?
This page lists 12 episodes for Strachey 100: an Oxford Computing Pioneer.