Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance E Allen, J Hilburn, S Kilpatrick, V Luchangco, S Ryu, D Chase, G Steele Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 21 | 2011 |