| 2006 | Stabilizers: a modular checkpointing abstraction for concurrent functional programs. | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
| 2006 | A technique for generic iteration and its optimization. | Stephen M. Watt |
| 2006 | Good advice for type-directed programming aspect-oriented programming and extensible generic functions. | Geoffrey Washburn, Stephanie Weirich |
| 2006 | Static typing for a faulty lambda calculus. | David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
| 2006 | Boxy types: inference for higher-rank types and impredicativity. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2006 | Modular generic programming with extensible superclasses. | Martin Sulzmann, Meng Wang |
| 2006 | Practical proofs of concurrent programs. | Marc Shapiro |
| 2006 | Type-theoretic design patterns. | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
| 2006 | Equality of streams is a Pi0 over 2-complete problem. | Grigore Rosu |
| 2006 | The missing link: dynamic components for ML. | Andreas Rossberg |
| 2006 | Towards an automatic complexity analysis for generic programs. | Kyle D. Ross |
| 2006 | From structures and functors to modules and units. | Scott Owens, Matthew Flatt |
| 2006 | Context-parametric polykinded types. | Pablo Nogueira |
| 2006 | Polymorphism and separation in hoare type theory. | Aleksandar Nanevski, Greg Morrisett, Lars Birkedal |
| 2006 | Recursive modules for programming. | Keiko Nakata, Jacques Garrigue |
| 2006 | Scrap++: scrap your boilerplate in C++. | Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski |
| 2006 | An object-oriented approach to datatype-generic programming. | Adriaan Moors, Frank Piessens, Wouter Joosen |
| 2006 | Improving flow analyses via GammaCFA: abstract garbage collection and counting. | Matthew Might, Olin Shivers |
| 2006 | Programming monads operationally with Unimo. | Chuan-Kai Lin |
| 2006 | Delimited dynamic binding. | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
| 2006 | biXid: a bidirectional transformation language for XML. | Shinya Kawanaka, Haruo Hosoya |
| 2006 | Algebraic fusion of functions with an accumulating parameter and its improvement. | Shin-ya Katsumata, Susumu Nishimura |
| 2006 | Simple unification-based type inference for GADTs. | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
| 2006 | Generating generic functions. | Johan Jeuring, Alexey Rodriguez, Gideon Smeding |
| 2006 | Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |