|
1 |
|
Christopher Strachey, First-Class Citizen |
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages. |
Philip Wadler |
26 Jun 2017 |
|
2 |
|
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. |
Dana Scott |
26 Jun 2017 |
|
3 |
|
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. |
Roger Penrose, Michael Jackson, David Hartley |
26 Jun 2017 |
|
4 |
|
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. |
Robert Milne |
26 Jun 2017 |
|
5 |
|
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. |
Peter Mosses |
26 Jun 2017 |
|
6 |
|
Strachey and the development of CPL |
Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL. |
Martin Richards |
26 Jun 2017 |
|
7 |
|
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). |
Joe Stoy |
26 Jun 2017 |
|
8 |
|
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 a school master, and his first computing projects. |
Martin Campbell-Kelly |
26 Jun 2017 |
