Typechecking and Modules for Multi-Methods.

Craig Chambers, Gary T. Leavens

Browse the full OOPSLA paper archive.