| 11 | Normalization by Evaluation for Sized Dependent Types 2018-01-17 |
Play |
| 12 | A Specification for Dependent Types in Haskell 2018-01-17 |
Play |
| 13 | Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) 2018-01-17 |
Play |
| 14 | Visitors Unchained 2018-01-17 |
Play |
| 15 | Compiling to Categories 2018-01-16 |
Play |
| 16 | Local Refinement Typing 2018-01-16 |
Play |
| 17 | SpaceSearch: A Library for Building and Verifying Solver-Aided Tools 2018-01-15 |
Play |
| 18 | Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification 2018-01-15 |
Play |
| 19 | No-Brainer CPS Conversion 2018-01-15 |
Play |
| 20 | Foundations of Strong Call by Need 2018-01-15 |
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.
