ICFP 2017 (series) / Haskell 2017 (series) /
Haskell 2017 Program
This is the Haskell 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 7 SepDisplayed time zone: Belfast change
Thu 7 Sep
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (Invited Talk) Haskell Didier Rémy INRIA |
10:30 - 11:30 | |||
10:30 30mTalk | Algebraic Graphs with Class (Functional Pearl) Haskell | ||
11:00 30mTalk | Packrats Parse in Packs Haskell |
12:00 - 12:30 | |||
12:00 30mTalk | Ode on a Random Urn (Functional Pearl) Haskell |
14:00 - 15:00 | |||
14:00 30mDemonstration | QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) Haskell Maximilian Algehed Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology, Moa Johansson Chalmers University of Technology, Nicholas Smallbone | ||
14:30 30mTalk | Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results Haskell |
15:30 - 16:30 | |||
15:30 30mTalk | Using Coq to Write Fast and Correct Haskell Haskell | ||
16:00 30mTalk | A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq Haskell |
16:50 - 17:50 | |||
16:50 30mTalk | A Meta-EDSL for Distributed Web Applications Haskell Anton Ekblad Chalmers University of Technology | ||
17:20 30mTalk | Composable Network Stacks and Remote Monads Haskell |
Fri 8 SepDisplayed time zone: Belfast change
Fri 8 Sep
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | Algorithmic Music in Haskell (Invited Talk) Haskell Donya Quick Stevens Institute of Technology |
10:30 - 11:30 | |||
10:30 30mTalk | Well-Typed Music Does Not Sound Wrong (Experience Report) Haskell | ||
11:00 30mTalk | Back to the Future: Time Travel in FRP Haskell Ivan Perez University of Nottingham, UK |
12:00 - 12:30 | |||
12:00 30mTalk | The Linearity Monad Haskell |
14:00 - 15:00 | |||
14:00 30mTalk | Elaboration on Functional Dependencies Haskell | ||
14:30 30mTalk | Quantified Class Constraints Haskell Gert-Jan Bottu , Georgios Karachalias KU Leuven, Belgium, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, China, Philip Wadler University of Edinburgh, UK |
15:30 - 16:30 | |||
15:30 30mTalk | Hardware Software Co-Design in Haskell Haskell | ||
16:00 30mTalk | Streaming Irregular Arrays Haskell Robert Clifton-Everest , Trevor L. McDonell University of New South Wales, Australia, Manuel Chakravarty , Gabriele Keller Data61,CSIRO (formerly NICTA) and UNSW |
16:50 - 17:50 | |||
16:50 30mTalk | Improving STM Performance with Transactional Structs Haskell | ||
17:20 30mTalk | Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping Haskell |