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

Jonathan Protzen

Series featuring Jonathan Protzen

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons Verified Low-Level Programming Embedded in F Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Jonathan Protzen 18 Dec 2017