Radio and PodcastLive Radio & PodcastsOpening Radio and Podcast...
Radio and PodcastLive Radio & PodcastsFetching podcast shows and categories...
Radio and PodcastLive Radio & PodcastsFetching podcast episodes...
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...
Types in programming languages are commonly thought of as a way of preventing certain bad things from happening, such as multiplying a numbe...
In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphism and abstract models of sto...
Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses th...
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.
In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds...
The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn...
In this panel discussion, three people who knew Christopher Strachey in different contexts talk about their memories of him. Michael Jackson...
Christopher Strachey believed that the gap between theory and practice was impeding the development of computing science. In Robert’s talk,...
During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their...
Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL. At the time there...
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...
A historian’s perspective on the earlier years of Christopher Strachey’s life. The talk covers his familial connections, his early career as...