Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 09:30 - 10:00 at Illinois Central - Session 4 Chair(s): Iavor Diatchki

Datatype-generic programming is a widely used technique to define functions
that work regularly over a class of datatypes. Examples include deriving serialization
of data, equality or even functoriality. The \emph{state-of-the-art} of generic
programming still lacks handling GADTs, multiple type variables, and some other features.
This paper exploits modern GHC extensions, including \texttt{TypeInType}, to
handle arbitrary number of type variables, constraints, and existentials.
We also provide an Agda model of our construction that does \emph{not}
require Russel's paradox, proving the construction is consistent.

Fri 28 Sep

haskellsymp-2018-papers
09:00 - 10:00: Haskell 2018 - Session 4 at Illinois Central
Chair(s): Iavor DiatchkiGalois, Inc.
haskellsymp-2018-papers09:00 - 09:30
Talk
Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA
DOI
haskellsymp-2018-papers09:30 - 10:00
Talk
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
DOI