Skip to main content
Home

Main navigation

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

Main navigation

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

programming languages

Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

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.
Journey of a Molecular Detective; David Sherratt

Strachey and the development of CPL

Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL.
Journey of a Molecular Detective; David Sherratt

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).

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford