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

Jeremy Gibbons

Series featuring Jeremy Gibbons

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