Type checking higher-order polymorphic multi-methods (1997)

by F Bourdoncle, S Merz
Venue:In Proceedings24th ACM Symposium on Principles of Programming Languages