[July 2010] Generative Type Abstraction and Type-level Computation (with Stephanie Weirich, Dimitrios Vytiniotis, and Steve Zdancewic). This paper, submitted to POPL'11, describes
how to combine Haskell's new abilities to do type-level computation with the old ability to do type abstraction using newtypes. Rather surprisingly (to me) the two are in tension, and the solution is quite interesting.
[June 2010] Seq no more (by Simon Marlow, Patrick Maier, Phil Trinder, Hans-Wolfgang Loidl, and Mustafa Aswad). A new take on the "algorithms + strategies = parallelism"
story, providing a nice Haskell library to support parallel computation. To appear at the 2010 Haskell Symposium.
[May 2010] Modular type inference with local assumptions (with Dimitrios Vytiniotis, Tom Schrijvers, Martin Suzmann). This epic 70-page JFP submission brings together, in
a single uniform framework, a series of our earlier papers on type inference for type systems involving local constraints, including GADTs and indexed type families.