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

Antoine Vizard

Series featuring Antoine Vizard

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons A Specification for Dependent Types in Haskell Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Antoine Vizard 17 Jan 2018