ICFP 2018 (series) / Haskell 2018 (series) /
Haskell 2018 Program
This is the Haskell 2018 program - see the full program for ICFP 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 5mDay opening | Welcome and Chair's Report Haskell Nicolas Wu University of Bristol, UK | ||
09:05 55mTalk | Neither Web nor Assembly (Invited Talk) Haskell Andreas Rossberg Dfinity |
10:30 - 12:00 | |||
10:30 30mTalk | AutoBench: Comparing the Time Performance of Haskell Programs Haskell DOI | ||
11:00 30mTalk | Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration) Haskell DOI | ||
11:30 30mTalk | Improving Typeclass Relations by Being Open Haskell Guido Martínez CIFASIS-CONICET, Argentina, Mauro Jaskelioff CONICET, Argentina, Guido De Luca Universidad Nacional de Rosario, Argentina DOI |
13:30 - 15:00 | |||
13:30 30mTalk | Rhine: FRP with Type-Level Clocks Haskell DOI | ||
14:00 30mTalk | A High-Performance Multicore IO Manager Based on libuv (Experience Report) Haskell DOI | ||
14:30 30mTalk | Embedding Invertible Languages with Binders: A Case of the FliPpr Language Haskell DOI |
15:30 - 16:00 | |||
15:30 30mTalk | Ghosts of Departed Proofs (Functional Pearl) Haskell Matt Noonan Kataskeue, USA DOI |
Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 30mTalk | Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern Haskell Baldur Blöndal n.n., n.n., Andres Löh Well-Typed, UK, Ryan Scott Indiana University at Bloomington, USA DOI | ||
09:30 30mTalk | Generic Programming of All Kinds Haskell Alejandro Serrano Utrecht University, Netherlands, Victor Cacciari Miraldo Utrecht University, Netherlands DOI |
10:30 - 12:00 | |||
10:30 30mTalk | Type Variables in Patterns Haskell Richard A. Eisenberg Bryn Mawr College, USA, Joachim Breitner DFINITY Foundation, Simon Peyton Jones Microsoft, UK DOI | ||
11:00 30mTalk | The Thoralf Plugin: For Your Fancy Type Needs Haskell DOI | ||
11:30 30mTalk | Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Haskell Matthías Páll Gissurarson Chalmers University of Technology, Sweden DOI |
13:30 - 15:00 | |||
13:30 30mTalk | A Promise Checked Is a Promise Kept: Inspection Testing Haskell Joachim Breitner DFINITY Foundation DOI | ||
14:00 30mTalk | Branching Processes for QuickCheck Generators Haskell Agustín Mista Universidad Nacional de Rosario, Argentina, Alejandro Russo Chalmers University of Technology, Sweden, John Hughes Chalmers University of Technology, Sweden DOI | ||
14:30 30mTalk | Coherent Explicit Dictionary Application for Haskell Haskell DOI File Attached |
15:30 - 16:00 | |||
15:30 29mTalk | Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) Haskell Niki Vazou University of Maryland, USA, Joachim Breitner DFINITY Foundation, Rose Kunkel University of Maryland, USA, David Van Horn University of Maryland, USA, Graham Hutton University of Nottingham, UK DOI | ||
15:59 1mTalk | Closing Statement Haskell Nicolas Wu University of Bristol, UK |