Strachey 100: an Oxford Computing Pioneer Podcast
1) 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 number by a string. But this is only half of the benefit of type...Show More
2) Parametric Polymorphism and models of storage
In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphism and abstract models of storage. The term parametric polymorphism was introduced in by ...Show More
3) Probabilistic Programming
Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses this as a lead in for discussing probabilistic methods of gene...Show More
4) Christopher Strachey, First-Class Citizen
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.
5) 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 of modelling diagrams are used and a mathematical approach ...Show More
A modelling language approach to defining mathematical structures via semantics
33:10 | Jun 26th, 2017
6) 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 foundati...Show More
7) 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 discusses being taught by Strachey as a boy at Harrow, Dav...Show More
8) 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, he considers how the work he did with Strachey on the essay...Show More
Semantic relationships: reducing the separation between practice and theory
35:40 | Jun 26th, 2017
9) 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 denotational semantics. It involved partial evaluation of l...Show More
10) 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 was little understanding of the complexities of computer la...Show More