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

programming

# Episode Title Description People Date
1 Creative Commons On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference. Ohad Kammar 13 Dec 2017
2 Creative Commons Abstracting Definitional Interpreters David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA. David Darais 13 Dec 2017
3 Creative Commons Symbolic Conditioning of Arrays in Probabilistic Programs Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. Praveen Narayanan 13 Dec 2017
4 Creative Commons A Framework for Adaptive Differential Privacy Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. Daniel Winograd-Cort 13 Dec 2017
5 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
6 Creative Commons A Unified Approach to Solving Seven Programming Problems (Functional Pearl) William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. William E Byrd 12 Dec 2017
7 Creative Commons Generic Functional Parallel Algorithms: Scan and FFT Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Conal Elliott 12 Dec 2017
8 Creative Commons A Pretty But Not Greedy Printer (Functional Pearl) Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Jean-Philippe Bernardy 12 Dec 2017
9 Creative Commons Faster Coroutine Pipelines Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Mike Spivey 12 Dec 2017
10 Creative Commons Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference. Roberto Di Cosmo 12 Dec 2017
11 Creative Commons Lock-Step Simulation Is Child's Play (Experience Report) Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA. Joachim Breiner 12 Dec 2017
12 Creative Commons Super 8 Languages for Making Movies (Functional Pearl) Leif Andersen (Northeastern University, USA) gives the first presentation in the first panel, Art and Education, in the ICFP 2017 conference. Leif Andersen 07 Dec 2017
13 Creative Commons Compositional Creativity: Some Principles for Talking to Computers Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference. Chris Martens 05 Dec 2017
14 OII Internet and Society Awards: Raspberry Pi Victoria Nash, talks to Pete Lomas, Founder and Trustee at Raspberry Pi, recipients of an Internet and Society Award in 2012 from OII, in recognition of their exemplary efforts in using the Internet for the public good in Britain. Victoria Nash, Pete Lomas 02 Jan 2013
15 Why Should Robots Play Football? Dr Stephen Cameron (Department of Computer Science) explains why thousands of people from across the world are busy trying to teach robots to play football. Stephen Cameron 03 Feb 2012
16 Creative Commons Student Innovation: Developing Mobile Apps for learning Helen Ginn, a Biochemistry undergraduate at Magdalen College, talks about how she developed a mobile app to serve a specific niche task. Helen Ginn 01 Feb 2012