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

Scott Owens

Series featuring Scott Owens

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons Verifying Efficient Function Calls in CakeML Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Scott Owens 18 Dec 2017