5th year PhD student under Derek Dreyer
Foundations of Programming Group, PLV @ MPI-SWS
(and, for 2014, Graduate Student Representative, a.k.a. el Presidente)
Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken
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.
- 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)