| 1 | Inferring Scope through Syntactic Sugar 2018-01-23 |
Play |
| 2 | Automating Sized-Type Inference for Complexity Analysis 2018-01-23 |
Play |
| 3 | Constrained Type Families 2018-01-23 |
Play |
| 4 | Gradual Typing with Union and Intersection Types 2018-01-23 |
Play |
| 5 | On Polymorphic Gradual Typing 2018-01-22 |
Play |
| 6 | Theorems for Free for Free: Parametricity, With and Without Types 2018-01-22 |
Play |
| 7 | Gradual Session Types 2018-01-22 |
Play |
| 8 | Manifest Sharing with Session Types 2018-01-22 |
Play |
| 9 | Whip: Higher-Order Contracts for Modern Services 2018-01-22 |
Play |
| 10 | A Metaprogramming Framework for Formal Verification 2018-01-17 |
Play |
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 was unable to attend as originally planned.
