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!

SESSION: Session 1

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

Ornaments in practice

Type inference for the spine view of data

SESSION: Session 2

First-class isomorphic specialization by staged evaluation

Algebraic effects and effect handlers for idioms and arrows

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

SESSION: Session 3

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

True sums of products