Scott Kilpatrick // MPI-SWS

5th year PhD student under Derek Dreyer
Foundations of Programming Group, PLV @ MPI-SWS
(and Internal Graduate Student Representative, a.k.a. el Presidente)
Max Planck Institute for Software Systems, Saarbrücken, Germany



My research focuses on language design — specifically, in the intersection of module systems and type systems witnessed by functional programming languages. I'm interested in (dependent) type theory, constructive logic, proof engineering, and, generally, principled approaches to practical problems.

Primarily I've designed a stronger system of modularity for Haskell, along with my advisor Derek Dreyer and Simon Peyton Jones (Microsoft Research) and Simon Marlow (Facebook). Specifically, it's a package language that's layered on top of the existing module language to give you separate modular development. For more information, check the Backpack web page.

In 2010 we had a "Type Systems for Modules" seminar. Check the course web page for useful reading and commentary.

In the past I was an intern at Sun Labs working on the Fortress programming language. Before MPI-SWS I did my masters and bachelors at the University of Texas at Austin. I miss breakfast tacos.


  • Backpack: Retrofitting Haskell with Interfaces. Scott Kilpatrick, Derek Dreyer, Simon Peyton Jones, and Simon Marlow. POPL 2014. (web page, abstract, paper pdf, draft appendix pdf, talk slides pdf)
  • Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance. Eric Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, and Guy L. Steele Jr. OOPSLA 2011. (abstract, pdf)
  • Ad Hoc: Overloading and Language Design. Scott Kilpatrick. Master's thesis, University of Texas at Austin, 2010. (abstract, pdf)