Typechecking with ad hoc polymorphism (preliminary report (1992)

by S Thatte