Craig Chambers, Gary T. Leavens
Typechecking and Modules for Multi-Methods
OOPSLA, 1994.
@inproceedings{OOPSLA-1994-ChambersL,
author = "Craig Chambers and Gary T. Leavens",
booktitle = "{Proceedings of the Ninth Annual Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/191080.191083",
editor = "Jeff McKenna and J. Eliot B. Moss and Richard L. Wexelblat",
isbn = "0-89791-688-3",
pages = "1--15",
publisher = "{ACM}",
title = "{Typechecking and Modules for Multi-Methods}",
year = 1994,
}