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

Benjamin Cosman

Series featuring Benjamin Cosman

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons Local Refinement Typing Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. Benjamin Cosman 16 Jan 2018