Skip to main content
Home

Main navigation

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

Main navigation

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

Jeremy Gibbons

Image
Journey of a Molecular Detective; David Sherratt

Strachey 100: an Oxford Computing Pioneer

Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of...
Image
Strachey Lectures

Strachey Lectures

This series covers the Strachey Lectures, a series of termly computer science lectures ...
Title Description People Date Captions
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 June, 2017
Strachey Lecture: Bidirectional Computation is Effectful A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. Jeremy Gibbons 17 November, 2015
Displaying 1 - 2 of 2 episodes

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