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)

Backpack: retrofitting Haskell with interfaces. - Scott Kilpatrick; Derek Dreyer; Simon L. Peyton Jones; Simon Marlow (POPL, 2014)

Non-reformist reform for Haskell Modularity. - Scott Kilpatrick (2019)