Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Thank you for visiting! Please consider filling out our questionnaire. This will help us improve our service providing free educational media recorded from the University of Oxford. Many thanks!

Click here to access the survey (3 minutes to complete).

programming languages

# Episode Title Description People Date
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