François Bourdoncle, Stephan Merz. Type-Checking Higher-Order Polymorphic Multi-Methods. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 302-315, 1997. [doi]
@inproceedings{BourdoncleM97, title = {Type-Checking Higher-Order Polymorphic Multi-Methods}, author = {François Bourdoncle and Stephan Merz}, year = {1997}, doi = {10.1145/263699.263743}, url = {http://doi.acm.org/10.1145/263699.263743}, tags = {type checking}, researchr = {https://researchr.org/publication/BourdoncleM97}, cites = {0}, citedby = {0}, pages = {302-315}, booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, }