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

International Conference on Functional Programming 2017

ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming.

ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, there are keynotes from Chris Martens and John Launchbury; unfortunately, Rich Hickey is unable to attend as originally planned.

# Episode Title Description People Date
1 Creative Commons Compositional creativity: some principles for talking to computers Chris Martens gives the first Speaker North Carolina State University United States Chris Martens 13 Sep 2017
2 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 ICPF 2017 conference. Co-written by Stephen Chang, Northeastern University, USA and Matthias Felleisen Northeastern University, USA. Leif Andersen 13 Sep 2017
3 Creative Commons Testing and Debugging Functional Reactive Programming Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICPF 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. Ivan Perez 13 Sep 2017
4 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 ICPF 2017 conference. Co-written by Chris Smith Google, USA. Joachim Breiner 13 Sep 2017
5 Creative Commons Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC Roberto Di Cosmo, Inria, France / University of Paris Diderot, France, gives the fourth presentation in the first panel, Art and Education, in the ICPF 2017 conference. Co-written by Benjamin Canou, OCamlPro, n.n and Grégoire Henry OCamlPro, n.n. Roberto Di Cosmo 13 Sep 2017
6 Creative Commons Faster Coroutine Pipelines Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICPF 2017 conference. Mike Spivey 13 Sep 2017
7 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 ICPF 2017 conference. Jean-Philippe Bernardy 13 Sep 2017
8 Creative Commons Generic Functional Parallel Algorithms: Scan and FFT Conan Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICPF 2017 conference. Conan Elliott 13 Sep 2017
9 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 ICPF 2017 conference. Co-written by Gregory Rosenblatt, n.n, Matthew Might, Michael Ballantyne, University of Utah. William E Byrd 13 Sep 2017
10 Creative Commons Prototyping a Query Compiler using Coq (Experience Report) Louis Mandel, IBM, gives the first presentation in the third panel, Applications, in the ICPF 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. Louis Mandel 13 Sep 2017
11 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 ICPF 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. Daniel Winograd-Cort 13 Sep 2017
12 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 ICPF 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. Praveen Narayanan 13 Sep 2017
13 Creative Commons Abstracting Definitional Interpreters David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phúc C. Nguyễn, University of Maryland, USA. David Darais 13 Sep 2017
14 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 ICPF 2017 conference. Co-written by Yannick Forster, Saarland University, Germany/University of Cambridge, UK, Sam Lindley, University of Edinburgh. Ohad Kammar 13 Sep 2017
15 Creative Commons Imperative Functional Programs That Explain Their Work Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. Jan Stolarek 13 Sep 2017
16 Creative Commons Effect-Driven QuickChecking of Compilers Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. Jan Midtgaard 13 Sep 2017
17 Creative Commons Assuring AI John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICPF conference. John Launchbury 14 Sep 2017
18 Creative Commons Persistence for the Masses: RRB-Vectors in a Systems Language Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Juan Pedro Bolívar Puente 14 Sep 2017
19 Creative Commons Verified Low-Level Programming Embedded in F* Jonathan Protzen, Microsoft Research, n.n, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Jonathan Protzen 14 Sep 2017
20 Creative Commons A Relational Logic for Higher-Order Programs Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Alejandro Aguirre 14 Sep 2017
21 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 ICPF conference. Scott Owens 14 Sep 2017
22 Creative Commons Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols Geoffrey Mainland, Drexel University, USA, gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Geoffrey Mainland 14 Sep 2017
23 Creative Commons How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation Makoto Hamana, Gunma University, Japan, gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Makoto Hamana 14 Sep 2017
24 Creative Commons Foundations of Strong Call by Need Thibaut Balabonski, LRI, France / University of Paris-Sud, France gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Thibaut Balabonski 14 Sep 2017
25 Creative Commons No-Brainer CPS Conversion Milo Davis, Northeastern University, USA gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF. Co-written by William Meehan, Northeastern University, USA, Olin Shivers, Northeastern University, USA Milo Davis 14 Sep 2017
26 Creative Commons Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Muralidaran Vijayaraghavan, Massachusetts Institute of Technology, USA, gives the first talk in the fourth panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Muralidaran Vijayaraghavan 14 Sep 2017
27 Creative Commons SpaceSearch: A Library for Building and Verifying Solver-Aided Tools Konstantin Weitz, University of Washington, USA, gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICPF conference. Konstantin Weitz 14 Sep 2017
28 Creative Commons Local Refinement Typing Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICPF conference. Co-written by Ranjit Jhala, University of California at San Diego, USA. Benjamin Cosman 14 Sep 2017
29 Creative Commons Compiling to Categories Conan Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICPF conference. Conan Elliott 14 Sep 2017
30 Creative Commons Visitors Unchained François Pottier, Inria, France, gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICPF conference. François Pottier 14 Sep 2017
31 Creative Commons Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) Robby Findler, Northwestern University, USA, gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICPF conference. Robby Findler 14 Sep 2017
32 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 ICPF conference. Antoine Vizard 14 Sep 2017
33 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 ICPF conference. Andreas Abel 14 Sep 2017
34 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 ICPF conference. Sebastian Ullrich 14 Sep 2017
35 Creative Commons Chaperone Contracts for Higher-Order Sessions Hernan Melgratti, University of Buenos Aires, Argentina, gives the first talk in the third panel, Contracts and Sessions, on the 3rd day of the ICPF conference. Co-written by Luca Padovani Luca Padovani, University of Turin, Italy. Hernan Melgratti 14 Sep 2017
36 Creative Commons Whip: Higher-Order Contracts for Modern Services Lucas Waye, Harvard University, USA, gives the second talk in the third panel, Contracts and Sessions , on the 3rd day of the ICPF conference. Co-written by Christos Dimoulas, Harvard University, USA, Stephen Chong, Harvard University, USA. Lucas Waye 14 Sep 2017
37 Creative Commons Manifest Sharing with Session Types Stephanie Balzer, Carnegie Mellon University, USA gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICPF conference.. Co-written Frank Pfenning Carnegie Mellon University, USA. Stephanie Balzer 14 Sep 2017
38 Creative Commons Gradual Session Types Peter Thiemann, University of Freiburg, Germany, gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICPF conference. Peter Thiemann 14 Sep 2017
39 Creative Commons Theorems for Free for Free: Parametricity, With and Without Types Amal Ahmed, Northeastern University, USA, gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICPF conference. Amal Ahmed 14 Sep 2017
40 Creative Commons On Polymorphic Gradual Typing Yuu Igarashi, Kyoto University, Japan, gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICPF conference. Co-written by Taro Sekiyama, IBM Research, Japan, Atsushi Igarashi, Kyoto University, Japan. Yuu Igarashi 14 Sep 2017
41 Creative Commons Gradual Typing with Union and Intersection Types Victor Lanvin ENS Cachan, France, gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICPF conference. Co-written by Co-written by Giuseppe Castagna, CNRS/University of Paris Diderot, Victor Lanvin 14 Sep 2017
42 Creative Commons Constrained Type Families Richard A. Eisenberg, Bryn Mawr College, USA, gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICPF conference. Co-written by J. Garrett Morris, University of Kansas, USA, Richard A Eisenberg 14 Sep 2017
43 Creative Commons Automating Sized-Type Inference for Complexity Analysis Martin Avanzini, University of Innsbruck, Austria, gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICPF conference. Co-written by Ugo Dal Lago Ugo Dal Lago University of Bologna, Italy / Inria, France Italy. Martin Avanzini 14 Sep 2017
44 Creative Commons Inferring Scope through Syntactic Sugar Justin Pombrio, Brown University, USA, gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICPF conference. Co-written by Shriram Krishnamurthi, Brown University, USA, Mitchell Wand, Northeastern University, USA. Justin Pombrio 14 Sep 2017