Ad-hoc polymorphism and dynamic typing in a statically typed functional language.

Thomas van Noort, Peter Achten, Rinus Plasmeijer

Browse the full ICFP paper archive.