|
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. |
Jeremy Gibbons |
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 |
|
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 |
|
5 |
|
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 |
|
6 |
|
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 |
