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
Video Embed
Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.

More in this series

View Series
Journey of a Molecular Detective; David Sherratt

A modelling language approach to defining mathematical structures via semantics

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

Probabilistic Programming

Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses this as a lead in for discussing probabilistic methods of generating algorithms and programs.
Next

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

Apple Podcast Video Video RSS Feed

Download

Download Video

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