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

Sebastian Ullrich

Series featuring Sebastian Ullrich

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons A Metaprogramming Framework for Formal Verification Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. Sebastian Ullrich 17 Jan 2018