
What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & Podcasts
Strachey 100: an Oxford Computing Pioneer by Oxford University
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.
Continue listening to more episodes from Strachey 100: an Oxford Computing Pioneer.

Jun 26, 2017 - 31:40
Types in programming languages are commonly thought of as a way of preventing certain bad things from hap...

Jun 26, 2017 - 40:29
In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric poly...

Jun 26, 2017 - 34:14
Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester U...

Jun 26, 2017 - 33:10
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative mod...

Jun 26, 2017 - 23:59
The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term...

Jun 26, 2017 - 44:11
In this panel discussion, three people who knew Christopher Strachey in different contexts talk about the...

Jun 26, 2017 - 35:40
Christopher Strachey believed that the gap between theory and practice was impeding the development of co...

Jun 26, 2017 - 29:30
During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system fo...