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. (OOPSLA, 2011)