Modular statically typed multimethods (2002)

by T Millstein, C Chambers
Venue:Information and Computation