TY  - RPRT
TI  - Parametric Compositional Data Types
AU  - Patrick Bahr
AU  - Tom Hvitved
PY  - 2012
DO  - 10.4204/eptcs.76.3
UR  - https://arxiv.org/abs/1202.2917
ID  - 1202.2917
ER  -