Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Thank you for visiting! Please consider filling out our questionnaire. This will help us improve our service providing free educational media recorded from the University of Oxford. Many thanks!

Click here to access the survey (3 minutes to complete).

Jeremy Gibbons

Series featuring Jeremy Gibbons

  • Computer Science
  • Strachey 100: an Oxford Computing Pioneer
# Episode Title Description People Date
1 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 Jun 2017
2 Creative Commons 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 Nov 2015