arXiv 2002-12-19 EN Strategic polymorphism requires just two combinators! Laemmel, Ralf · Visser, Joost
