| 2006 | A pattern for almost compositional functions. Björn Bringert, Aarne Ranta |
| 2006 | Abstraction preservation and subtyping in distributed languages. Pierre-Malo Deniélou, James J. Leifer |
| 2006 | Access control in a core calculus of dependency. Martín Abadi |
| 2006 | Algebraic fusion of functions with an accumulating parameter and its improvement. Shin-ya Katsumata, Susumu Nishimura |
| 2006 | Boxy types: inference for higher-rank types and impredicativity. Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2006 | Delimited dynamic binding. Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
| 2006 | Equality of streams is a Pi0 over 2-complete problem. Grigore Rosu |
| 2006 | Extensible programming with first-class cases. Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2006 | Fifteen years of functional pearls. Richard S. Bird |
| 2006 | From structures and functors to modules and units. Scott Owens, Matthew Flatt |
| 2006 | Improving flow analyses via GammaCFA: abstract garbage collection and counting. Matthew Might, Olin Shivers |
| 2006 | Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
| 2006 | Modelling deterministic concurrent I/O. Malcolm Dowse, Andrew Butterfield |
| 2006 | Modular development of certified program verifiers with a proof assistant. Adam Chlipala |
| 2006 | OCaml + XDuce. Alain Frisch |
| 2006 | Polymorphism and separation in hoare type theory. Aleksandar Nanevski, Greg Morrisett, Lars Birkedal |
| 2006 | Practical proofs of concurrent programs. Marc Shapiro |
| 2006 | Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 John H. Reppy, Julia Lawall |
| 2006 | Programming monads operationally with Unimo. Chuan-Kai Lin |
| 2006 | Recursive modules for programming. Keiko Nakata, Jacques Garrigue |
| 2006 | Simple unification-based type inference for GADTs. Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
| 2006 | Stabilizers: a modular checkpointing abstraction for concurrent functional programs. Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
| 2006 | Static analysis for syntax objects. David Fisher, Olin Shivers |
| 2006 | Static typing for a faulty lambda calculus. David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
| 2006 | The development of Chez Scheme. R. Kent Dybvig |
| 2006 | The missing link: dynamic components for ML. Andreas Rossberg |
| 2006 | Transactional events. Kevin Donnelly, Matthew Fluet |
| 2006 | biXid: a bidirectional transformation language for XML. Shinya Kawanaka, Haruo Hosoya |