WGP@ICFP

Keyphrases

Publications

2015

2014

Edsko de Vries, Andres Löh
True sums of products. WGP@ICFP (2014)
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014 WGP@ICFP (2014)
Matthew Roberts, Anthony M. Sloane
Type inference for the spine view of data. WGP@ICFP (2014)
Thomas Williams, Pierre-Évariste Dagand, Didier Rémy
Ornaments in practice. WGP@ICFP (2014)
Patrick Bahr
Composing and decomposing data types: a closed type families implementation of data types à la carte. WGP@ICFP (2014)
Bruno C. d. S. Oliveira
Functional programming, object-oriented programming and algebras! WGP@ICFP (2014)
Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine
Scoping rules on a platter: a framework for understanding and specifying name binding. WGP@ICFP (2014)
Sam Lindley
Algebraic effects and effect handlers for idioms and arrows. WGP@ICFP (2014)
Alexander Slesarenko, Alexander Filippov, Alexey Romanov
First-class isomorphic specialization by staged evaluation. WGP@ICFP (2014)
Larry Diehl, Tim Sheard
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP (2014)

2013

2012

2011

2009