Abstract is missing.
- Organizing functional code for parallel execution or, foldl and foldr considered slightly harmfulGuy L. Steele Jr.. 1-2 [doi]
- Functional pearl: la tour d HanoïRalf Hinze. 3-10 [doi]
- Purely functional lazy non-deterministic programmingSebastian Fischer, Oleg Kiselyov, Chung-chieh Shan. 11-22 [doi]
- Safe functional reactive programming through dependent typesNeil Sculthorpe, Henrik Nilsson. 23-34 [doi]
- Causal commutative arrows and their optimizationHai Liu, Eric Cheng, Paul Hudak. 35-46 [doi]
- A functional I/O system or, fun for freshman kidsMatthias Felleisen, Robby Findler, Matthew Flatt, Shriram Krishnamurthi. 47-58 [doi]
- Experience report: embedded, parallel computer-vision with a functional DSLRyan Newton, Teresa Ko. 59-64 [doi]
- Runtime support for multicore HaskellSimon Marlow, Simon L. Peyton Jones, Satnam Singh. 65-78 [doi]
- Effective interactive proofs for higher-order imperative programsAdam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky. 79-90 [doi]
- Experience report: seL4: formally verifying a high-performance microkernelGerwin Klein, Philip Derrin, Kevin Elphinstone. 91-96 [doi]
- Biorthogonality, step-indexing and compiler correctnessNick Benton, Chung-Kil Hur. 97-108 [doi]
- Scribble: closing the book on ad hoc documentation toolsMatthew Flatt, Eli Barzilay, Robby Findler. 109-120 [doi]
- Lambda, the ultimate TA: using a proof assistant to teach programming language foundationsBenjamin C. Pierce. 121-122 [doi]
- A universe of binding and computationDaniel R. Licata, Robert Harper. 123-134 [doi]
- Non-parametric parametricityGeorg Neis, Derek Dreyer, Andreas Rossberg. 135-148 [doi]
- Finding race conditions in Erlang with QuickCheck and PULSEKoen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger. 149-160 [doi]
- Partial memoization of concurrency and communicationLukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan. 161-172 [doi]
- Free theorems involving type constructor classes (functional pearl)Janis Voigtländer. 173-184 [doi]
- Experience report: Haskell in the real world : writing a commercial application in a lazy functional lanuageCurt J. Sampson. 185-190 [doi]
- Beautiful differentiationConal M. Elliott. 191-202 [doi]
- OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisonsThomas Gazagnaire, Vincent Hanquez. 203-214 [doi]
- Experience report: using objective caml to develop safety-critical embedded tools in a certification frameworkBruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço. 215-220 [doi]
- Identifying query incompatibilities with evolving XML schemasPierre Genevès, Nabil Layaïda, Vincent Quint. 221-230 [doi]
- Commutative monads, diagrams and knotsDan P. Piponi. 231-232 [doi]
- Generic programming with fixed points for mutually recursive datatypesAlexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring. 233-244 [doi]
- Attribute grammars fly first-class: how to do aspect oriented programming in HaskellMarcos Viera, S. Doaitse Swierstra, Wouter Swierstra. 245-256 [doi]
- Parallel concurrent MLJohn H. Reppy, Claudio V. Russo, Yingqi Xiao. 257-268 [doi]
- A concurrent ML library in concurrent HaskellAvik Chaudhuri. 269-280 [doi]
- Experience report: OCaml for an industrial-strength static analysis frameworkPascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti. 281-286 [doi]
- Control-flow analysis of function calls and returns by abstract interpretationJan Midtgaard, Thomas P. Jensen. 287-298 [doi]
- Automatically RESTful web applications: marking modular serializable continuationsJay A. McCarthy. 299-310 [doi]
- Experience report: ocsigen, a web programming frameworkVincent Balat, Jérôme Vouillon, Boris Yakobowski. 311-316 [doi]
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transformTiark Rompf, Ingo Maier, Martin Odersky. 317-328 [doi]
- A theory of typed coercions and its applicationsNikhil Swamy, Michael W. Hicks, Gavin M. Bierman. 329-340 [doi]
- Complete and decidable type inference for GADTsTom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis. 341-352 [doi]