Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 11:10 - 11:35 at New York Central - Types Chair(s): Richard A. Eisenberg

Generic programming for mutually recursive families of datatypes is hard. On the other hand, most interesting abstract syntax trees are described by a mutually recursive family of datatypes. We could give up on using that mutually recursive structure, but then we lose the ability to use those generic operations which take advantage of that same structure. We present a new approach to generic programming that uses modern Haskell features to handle mutually recursive families with explicit sum-of-products structure. This additional structure allows us to remove much of the complexity previously associated with generic programming over these types.

Thu 27 Sep

tyde-2018
10:20 - 12:00: TyDe 2018 - Types at New York Central
Chair(s): Richard A. EisenbergBryn Mawr College, USA
tyde-201810:20 - 10:45
Research paper
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
DOI
tyde-201810:45 - 11:10
Research paper
Joomy KorkutWesleyan University, USA, David Thrane ChristiansenGalois, USA
DOI
tyde-201811:10 - 11:35
Research paper
Victor Cacciari MiraldoUtrecht University, Netherlands, Alejandro SerranoUtrecht University, Netherlands
DOI
tyde-201811:35 - 12:00
Research paper
Ilya YanokUSI Lugano, Switzerland, Nate NystromUSI Lugano, Switzerland
DOI