Opening the iTunes Store.If iTunes doesn’t open, click the iTunes icon in your Dock or on your Windows desktop.Progress Indicator

Opening Apple Books.If Apple Books doesn't open, click the Books app in your Dock.Progress Indicator

iTunes

iTunes is the world's easiest way to organise and add to your digital media collection.

We are unable to find iTunes on your computer. To download and subscribe to International Conference on Functional Programming 2017 by Oxford University, get iTunes now.

Do you already have iTunes? Click I Have iTunes to open it now.

International Conference on Functional Programming 2017

By Oxford University

View More by This Publisher

To listen to an audio podcast, mouse over the title and click Play. Open iTunes to download and subscribe to podcasts.

Description

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 was unable to attend as originally planned.

Name Description Released Price

1 CleanVideoCompositional Creativity: Some Principles for Talking to Computers Chris Martens (North Carolina State University, United States) gives the first talk in the ICFP conference. 5 12 2017 Free View in iTunes

2 CleanVideoSuper 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. 7 12 2017 Free View in iTunes

3 CleanVideoTesting and Debugging Functional Reactive Programming Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. 12 12 2017 Free View in iTunes

4 CleanVideoLock-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. 12 12 2017 Free View in iTunes

5 CleanVideoScaling 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. 12 12 2017 Free View in iTunes

6 CleanVideoFaster Coroutine Pipelines Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. 12 12 2017 Free View in iTunes

7 CleanVideoA 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. 12 12 2017 Free View in iTunes

8 CleanVideoGeneric 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. 12 12 2017 Free View in iTunes

9 CleanVideoA 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. 12 12 2017 Free View in iTunes

10 CleanVideoPrototyping 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. 12 12 2017 Free View in iTunes

11 CleanVideoA 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. 13 12 2017 Free View in iTunes

12 CleanVideoSymbolic 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. 13 12 2017 Free View in iTunes

13 CleanVideoAbstracting 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. 13 12 2017 Free View in iTunes

14 CleanVideoOn 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. 13 12 2017 Free View in iTunes

15 CleanVideoImperative Functional Programs that Explain their Work Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. 18 12 2017 Free View in iTunes

16 CleanVideoEffect-Driven QuickChecking of Compilers Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. 18 12 2017 Free View in iTunes

17 CleanVideoAssuring AI John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. 18 12 2017 Free View in iTunes

18 CleanVideoPersistence 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 ICFP conference. 18 12 2017 Free View in iTunes

19 CleanVideoVerified Low-Level Programming Embedded in F Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. 18 12 2017 Free View in iTunes

20 CleanVideoA 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 ICFP conference. 18 12 2017 Free View in iTunes

21 CleanVideoVerifying 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. 18 12 2017 Free View in iTunes

22 CleanVideoBetter 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 ICFP conference. 18 12 2017 Free View in iTunes

23 CleanVideoHow 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 ICFP conference. 18 12 2017 Free View in iTunes

24 CleanVideoFoundations of Strong Call by Need Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. 15 1 2018 Free View in iTunes

25 CleanVideoNo-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 ICFP. 15 1 2018 Free View in iTunes

26 CleanVideoKami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification 15 1 2018 Free View in iTunes

27 CleanVideoSpaceSearch: 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 ICFP conference. 15 1 2018 Free View in iTunes

28 CleanVideoLocal 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 ICFP conference. 16 1 2018 Free View in iTunes

29 CleanVideoCompiling to Categories Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. 16 1 2018 Free View in iTunes

30 CleanVideoVisitors Unchained Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. 17 1 2018 Free View in iTunes

31 CleanVideoHerbarium 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 ICFP conference. 17 1 2018 Free View in iTunes

32 CleanVideoA 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 ICFP conference. 17 1 2018 Free View in iTunes

33 CleanVideoNormalization 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. 17 1 2018 Free View in iTunes

34 CleanVideoA 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. 17 1 2018 Free View in iTunes

35 CleanVideoChaperone 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 ICFP conference. 14 9 2017 Free View in iTunes

36 CleanVideoWhip: 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 ICFP conference. 22 1 2018 Free View in iTunes

37 CleanVideoManifest 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 ICFP conference. 22 1 2018 Free View in iTunes

38 CleanVideoGradual 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 ICFP conference. 22 1 2018 Free View in iTunes

39 CleanVideoTheorems 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 ICFP conference. 22 1 2018 Free View in iTunes

40 CleanVideoOn 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 ICFP conference. 22 1 2018 Free View in iTunes

41 CleanVideoGradual 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 ICFP conference. 23 1 2018 Free View in iTunes

42 CleanVideoConstrained 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 ICFP conference. 23 1 2018 Free View in iTunes

43 CleanVideoAutomating 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 ICFP conference. 23 1 2018 Free View in iTunes

44 CleanVideoInferring 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 ICFP conference. 23 1 2018 Free View in iTunes

Viewers also subscribed to

Thoughts on Functional Programming Podcast by Eric Normand

Thoughts on Functional Programming Podcast by Eric Normand
Eric Normand
View in iTunes

The Type Theory Podcast
The Type Theory Podcast
View in iTunes

The Haskell Cast
http://www.haskellcast.com
View in iTunes

International Conference on Functional Programming 2017

View in iTunes

Free
Category: Courses
Language: English

Customer Ratings

We have not received enough ratings to display an average for this podcast.