6th year PhD student under Derek Dreyer
Foundations of Programming Group, PLV @ MPI-SWS
Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken
» 2014 Graduate Student Representative (el Presidente), MPI-SWS
» 2015 Leader of Strategy & Communication group, Max Planck PhDnet
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 Backpack, a richer module system for Haskell, along with my advisor Derek Dreyer and Simon Peyton Jones (Microsoft Research) and Simon Marlow (Facebook). For more information, check the Backpack web page. And now I'm collaborating with Edward Yang (Stanford), Simon PJ, and Derek on actually implementing the Backpack design into real-world GHC Haskell! (Actually, twisting and contorting Backpack's semantics to make it even more realistic to implement is a major part of the challenge.) Edward is the hero leading that gigantic effort while I focus on my forthcoming PhD thesis.
In 2010 we had a "Type Systems for Modules" seminar. Check the course web page for useful reading and commentary. And in the past I organized MPI-SWS's "Programming Languages, Etc. Reading Group" (PLERG) whose schedule and reading list can be found here.
- 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)