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

Louis Mandel

Series featuring Louis Mandel

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons Prototyping a Query Compiler using Coq (Experience Report) Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. Louis Mandel 12 Dec 2017