| 331 | -- | 332 | Andrew P. Tolmach, Xavier Leroy. Special Issue Dedicated to ICFP 2009 Editorial |
| 333 | -- | 412 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann. OutsideIn(X) Modular type inference with local assumptions |
| 413 | -- | 465 | Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan. Purely functional lazy nondeterministic programming |
| 467 | -- | 496 | Hai Liu, Eric Cheng, Paul Hudak. Causal commutative arrows |
| 497 | -- | 562 | Georg Neis, Derek Dreyer, Andreas Rossberg. Non-parametric parametricity |