| 2011 | Secure distributed programming with value-dependent types. | Nikhil Swamy, Juan Chen, Cdric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
| 2011 | Modular rollback through control logging: a pair of twin functional pearls. | Olin Shivers, Aaron Joseph Turon |
| 2011 | Monads, zippers and views: virtualizing the monad stack. | Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2011 | Nameless, painless. | Nicolas Pouillard |
| 2011 | Recursion principles for syntax with bindings and substitution. | Andrei Popescu, Elsa L. Gunter |
| 2011 | Making standard ML a practical database programming language. | Atsushi Ohori, Katsuhiro Ueno |
| 2011 | Video presentation of Functor : Lens : : Applicative : Biplate: Introducing Multiplate. | Russell O'Connor |
| 2011 | Embedding polymorphic dynamic typing. | Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer |
| 2011 | Generalising and dualising the third list-homomorphism theorem: functional pearl. | Shin-Cheng Mu, Akimasa Morihata |
| 2011 | Balanced trees inhabiting functional parallel programming. | Akimasa Morihata, Kiminori Matsuzaki |
| 2011 | Functional programming through deep time: modeling the first complex ecosystems on earth. | Emily G. Mitchell |
| 2011 | Parsing with derivatives: a functional pearl. | Matthew Might, David Darais, Daniel Spiewak |
| 2011 | Subtyping delimited continuations. | Marek Materzok, Dariusz Biernacki |
| 2011 | Generic programming for indexed datatypes. | Jos Pedro Magalhes, Johan Jeuring |
| 2011 | Functional modelling of musical harmony: an experience report. | Jos Pedro Magalhes, W. Bas de Haas |
| 2011 | Generic programming with indexed functors. | Andres Lh, Jos Pedro Magalhes |
| 2011 | A semantic model for graphical user interfaces. | Neelakantan R. Krishnaswami, Nick Benton |
| 2011 | Modularising inductive families. | Hsiang-Shang Ko, Jeremy Gibbons |
| 2011 | Typed self-interpretation by pattern matching. | C. Barry Jay, Jens Palsberg |
| 2011 | Towards a categorical foundation for generic programming. | Ralf Hinze, Nicolas Wu |
| 2011 | Proving the unique fixed-point principle correct: an adventure with category theory. | Ralf Hinze, Daniel W. H. James |
| 2011 | A foundation for GADTs and inductive families: dependent polynomial functor approach. | Makoto Hamana, Marcelo P. Fiore |
| 2011 | Modular verification of preemptive OS kernels. | Alexey Gotsman, Hongseok Yang |
| 2011 | How to make ad hoc proof automation less ad hoc. | Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer |
| 2011 | Deriving an efficient FPGA implementation of a low density parity check forward error corrector. | Andy Gill, Andrew Farmer |