Typechecking and Modules for Multi-Methods (1995)

by Craig Chambers, Gary T Leavens
Venue:ACM Transactions on Programming Languages and Systems