WGP '14- Proceedings of the 10th ACM SIGPLAN workshop on Generic programming

Full Citation in the ACM Digital Library

SESSION: Keynote address

Functional programming, object-oriented programming and algebras!

• Bruno C.d.S. Oliveira

SESSION: Session 1

Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL

• Larry Diehl
• Tim Sheard

Ornaments in practice

• Thomas Williams
• Pierre-Évariste Dagand
• Didier Rémy

Type inference for the spine view of data

• Matthew Roberts
• Anthony Sloane

SESSION: Session 2

First-class isomorphic specialization by staged evaluation

• Alexander Slesarenko
• Alexander Filippov
• Alexey Romanov

Algebraic effects and effect handlers for idioms and arrows

• Sam Lindley

Scoping rules on a platter: a framework for understanding and specifying name binding

• Larisse Voufo
• Marcin Zalewski
• Andrew Lumsdaine

SESSION: Session 3

Composing and decomposing data types: a closed type families implementation of data types à la carte

• Patrick Bahr

True sums of products

• Edsko de Vries
• Andres Löh