Thomas van Noort, Peter Achten, Rinus Plasmeijer. Ad-hoc polymorphism and dynamic typing in a statically typed functional language. In Bruno C. d. S. Oliveira, Marcin Zalewski, editors, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010. pages 73-84, ACM, 2010. [doi]
Abstract is missing.