TY  - RPRT
TI  - Combining Inclusion Polymorphism and Parametric Polymorphism
AU  - Sabine Glesner
AU  - Karl Stroetmann
PY  - 1999
UR  - https://arxiv.org/abs/cs/9906013
ID  - cs/9906013
ER  -