International Conference on Functional Programming 2017
Subscribe in ParasocialFree on the App Store for iPhone, iPad and Mac. No subscription needed. Once it is installed, tap this link again and the show is yours. Already have it? Open in Parasocial.
About
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.
Also on
Recent episodes
- Inferring Scope through Syntactic Sugar
- Automating Sized-Type Inference for Complexity Analysis
- Constrained Type Families
- Gradual Typing with Union and Intersection Types
- On Polymorphic Gradual Typing
- Theorems for Free for Free: Parametricity, With and Without Types
- Gradual Session Types
- Manifest Sharing with Session Types
- Whip: Higher-Order Contracts for Modern Services
- A Metaprogramming Framework for Formal Verification