What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsEducation
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 1969, when he created a mathematical model for the foundation of the method. In...
About This Episode
Greetings to the participants at “Strachey 100” is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with...
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, 23:59 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
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
SIS, a semantics implementation system
Jun 26, 2017 - 29:30