@misc{indiciae92239ba9ab04,
  title = {Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing},
  author = {Wouter Kuijper and Michael Weber},
  year = {2011},
  url = {https://arxiv.org/abs/1102.3420},
  note = {Source identifier: 1102.3420}
}