Abstract is missing.
- Ott: effective tool support for the working semanticistPeter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa. 1-12 [doi]
- Program-ing finger trees in CoqMatthieu Sozeau. 13-24 [doi]
- Experience report: functional programming in c-rulesJeremy Wazny. 25-28 [doi]
- Extensible pattern matching via a lightweight language extensionDon Syme, Gregory Neverov, James Margetson. 29-40 [doi]
- On Barron and Strachey s cartesian product functionOlivier Danvy, J. Michael Spivey. 41-46 [doi]
- Bidirectionalization transformation based on automatic derivation of view complement functionsKazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi. 47-58 [doi]
- Tangible functional programmingConal Elliott. 59-70 [doi]
- Termination analysis and call graph construction for higher-order functional programsDamien Sereni. 71-84 [doi]
- Relating complexity and precision in control flow analysisDavid Van Horn, Harry G. Mairson. 85-96 [doi]
- Inductive reasoning about effectful data typesAndrzej Filinski, Kristian Støvring. 97-110 [doi]
- A type directed translation of MLF to system FDaan Leijen. 111-122 [doi]
- Declarative programming for artificial intelligence applicationsJohn W. Lloyd. 123-124 [doi]
- McErlang: a model checker for a distributed functional programming languageLars-Åke Fredlund, Hans Svensson. 125-136 [doi]
- Experience report: the reactis validation toolSteve Sims, Daniel C. DuVarney. 137-140 [doi]
- iTasks: executable specifications of interactive work flow systems for the webMarinus J. Plasmeijer, Peter Achten, Pieter W. M. Koopman. 141-152 [doi]
- Experience report: scheme in commercial web application developmentNoel Welsh, David Gurnell. 153-156 [doi]
- Functional pearl: the great escape or, how to jump the border without getting caughtDavid Herman. 157-164 [doi]
- Adding delimited and composable control to a production programming environmentMatthew Flatt, Gang Yu, Robby Findler, Matthias Felleisen. 165-176 [doi]
- Compiling with continuations, continuedAndrew Kennedy. 177-190 [doi]
- Type-safe higher-order channels in ML-like languagesSungwoo Park. 191-202 [doi]
- Evaluating high-level distributed language constructsJan Nyström, Philip W. Trinder, David J. King. 203-212 [doi]
- Experience report: using functional programming to manage a linux distributionClifford Beshers, David Fox, Jeremy Shaw. 213-218 [doi]
- Subtyping and intersection types revisitedFrank Pfenning. 219 [doi]
- Experience report: building an eclipse-based IDE for HaskellLeif Frenzel. 220-222 [doi]
- User-friendly functional programming for web mashupsRobert Ennals, David Gay. 223-234 [doi]
- A generic usage analysis with subeffect qualifiersJurriaan Hage, Stefan Holdermans, Arie Middelkoop. 235-246 [doi]
- Experience report: a Haskell interpreter for cellMLJonathan Cooper, Steve McKeever. 247-250 [doi]
- Feedback directed implicit parallelismTim Harris, Satnam Singh. 251-264 [doi]
- Lazy call-by-value evaluationBernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal. 265-276 [doi]
- Faster laziness using dynamic pointer taggingSimon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones. 277-288 [doi]
- A type system for recursive modulesDerek Dreyer. 289-302 [doi]
- Implicit phasing for R6RS librariesAbdulaziz Ghuloum, R. Kent Dybvig. 303-314 [doi]
- Stream fusion: from lists to streams to nothing at allDuncan Coutts, Roman Leshchinskiy, Don Stewart. 315-326 [doi]
- Call-pattern specialisation for haskell programsSimon L. Peyton Jones. 327-337 [doi]