TY  - RPRT
TI  - Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
AU  - Wouter Kuijper
AU  - Michael Weber
PY  - 2011
UR  - https://arxiv.org/abs/1102.3420
ID  - 1102.3420
ER  -