TY  - RPRT
TI  - Strategic polymorphism requires just two combinators!
AU  - Ralf Laemmel
AU  - Joost Visser
PY  - 2002
UR  - https://arxiv.org/abs/cs/0212048
ID  - cs/0212048
ER  -