Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 14:30 - 15:00 at Haskell - Paper Session 5 - Types Chair(s): Jurriaan Hage

Generic programming libraries have historically traded efficiency in return for
convenience, and the generics-sop library is no exception.
It offers a simple, uniform, representation of all datatypes precisely as a sum
of products, making it easy to write generic functions. We show how to finally
make generics-sop fast through the use of staging with Typed Template
Haskell.

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

14:30 - 16:00: Paper Session 5 - TypesHaskell at Haskell
Chair(s): Jurriaan HageUtrecht University, Netherlands
14:30 - 15:00
Talk
Staged Sums of Products
Haskell
Matthew PickeringUniversity of Bristol, UK, Andres LöhWell-Typed LLP, Nicolas WuImperial College London, UK
DOI
15:00 - 15:30
Talk
Eliminating Bugs with Dependent Haskell (Experience Report)
Haskell
Noam ZilbersteinFacebook, USA
DOI
15:30 - 16:00
Talk
Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
Haskell
DOI File Attached