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

Contemporary Islamic Studies

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.
Contemporary Islamic Studies

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.
Contemporary Islamic Studies

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.
Contemporary Islamic Studies

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.
Contemporary Islamic Studies

Strachey and the development of CPL

Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL.
Contemporary Islamic Studies

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
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford