Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Christopher Strachey, First-Class Citizen

Series
Strachey 100: an Oxford Computing Pioneer
Embed
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Philip Wadler
Keywords
History of computing
functional programming
types
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:31:03

Subscribe

Download

A modelling language approach to defining mathematical structures via semantics

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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 to looking at their meaning is presented.


Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Jane Hillston
Keywords
Process algebras
Markov chains
performance analysis
dynamic systems
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:33:10

Subscribe

Download

Greetings to the participants at “Strachey 100”

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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.
In this talk, Dana discusses this period as well as reminiscing about his life and career up to that point.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Dana Scott
Keywords
History of computing
denotational semantics
domain theory
programming languages
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:23:59

Subscribe

Download

Strachey: school master, language designer, colleague

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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, David Hartley talks about work with Strachey on the programming language CPL, and Roger Penrose remembers working with Strachey at the National Research Development Corporation and introducing him to lambda calculus.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Roger Penrose
Michael Jackson
David Hartley
Keywords
History of computing
1950s school life
programming languages
compilers
lambda calculus
National Research Development Corporation
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:44:11

Subscribe

Download

Semantic relationships: reducing the separation between practice and theory

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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 that ultimately became their book tried to narrow the gap, by formalising, and reasoning about, the implementation concepts for programming languages. A particular focus will be the proof techniques for imperative programs that use storage, which were implicit, but not very easy to discern, in the book.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Robert Milne
Keywords
History of computing
implementation techniques
theoretical computing
denotational semantics
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:35:40

Subscribe

Download

SIS, a semantics implementation system

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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 lambda-notation, implemented using Wadsworth's call-by-need algorithm. He continued the development of the system as a postdoc at Oxford, and subsequently at Aarhus, Denmark. The system was called SIS: Semantics Implementation System.
In this talk, Peter recalls Strachey's influence on his research and on the development of SIS, starting from Strachey’s summer school course on symbolic computation at the PRG in 1969.


Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Peter Mosses
Keywords
History of computing
denotational semantics
compilers
programming languages
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:29:30

Subscribe

Download

Strachey and the development of CPL

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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 language design and how type systems could cope with lists and the kinds of structures needed to represent, for instance, parse trees. The CPL project cannot be regarded as being successful since it did not result in a usable CPL compiler. The reasons being that the language became too large and complicated, there were insufficient people to implement the compiler and, in the middle of the three year project, all work had to be transferred from Edsac 2 to Titan, a newly designed version of the Ferranti Atlas computer which as yet had no operating system. Even so, we can be proud of the work that went into CPL and its influence on the design of many later languages.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Martin Richards
Keywords
programming languages
CPL
History of computing
cambridge university
compilers
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:34:50

Subscribe

Download

Strachey and the Oxford Programming Research Group

Series
Strachey 100: an Oxford Computing Pioneer
Embed
Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming Research Group (PRG).
The talk covers the foundation of the PRG and the research performed at the (PRG), with an emphasis on the equal importance of theoretical and practical work.




Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Joe Stoy
Keywords
History of computing
denotational semantics
programming languages
operating systems
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:33:45

Subscribe

Download

Strachey: the Bloomsbury Years

Series
Strachey 100: an Oxford Computing Pioneer
Embed
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.

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Martin Campbell-Kelly
Keywords
History of computing
Bloomsbury group
National Research Development Corporation
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:34:40

Subscribe

Download

Strachey 100: an Oxford Computing Pioneer

Image
DO NOT EDIT OR REMOVE THIS IMAGE -- CLICK 'X' TO CLOSE
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. Although Strachey was keenly interested in the practical aspects of computing, it is in the theoretical side that he most indelibly left his mark, notably by creating with Dana Scott the denotational (or as he called it, ‘mathematical’) approach to defining the semantics of programming languages. Strachey also spent time writing complex programs and puzzles for various computers, such as a draughts playing program for the Pilot ACE in 1951. He developed some fundamental concepts of machine-independent operating systems, including an early suggestion for time-sharing, and was a prime mover in the influential CPL programming language. Strachey came from a notable family of intellectuals and artists, perhaps most famous for Christopher’s uncle Lytton, a writer and member of the Bloomsbury group.

We marked the occasion of 100 years since Christopher Strachey's birth on Saturday 19th November 2016, three days after his birthday, with a symposium of invited speakers. The morning looked back at Strachey’s life and works from a historical and technical perspective, and the afternoon concerned continuing research themes in Computer Science inspired by Strachey, at Oxford and elsewhere. This podcast series has recordings of these talks.

Subscribe

Pagination

  • First page
  • Previous page
  • …
  • Page 1851
  • Page 1852
  • Page 1853
  • Page 1854
  • Page 1855
  • Page 1856
  • Page 1857
  • Page 1858
  • Page 1859
  • …
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford