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

Andreas Abel

Series featuring Andreas Abel

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons Normalization by Evaluation for Sized Dependent Types Andreas Abel (University of Gothenburg, Sweden), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Andreas Abel 17 Jan 2018