Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

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
Computer Science

Computer Science

This series is host to episodes created by the Department of Computer Science, Universi...
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
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 Captions
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