[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.