Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.

Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.

Browse the full OOPSLA paper archive.