A Concurrent ML Library in Concurrent Haskell

Avik Chaudhuri

A Functional I/O System, Or, Fun for Freshman Kids

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi

A Theory of Typed Coercions and its Applications

Nikhil Swamy, Michael Hicks and Gavin Bierman

A Universe of Binding and Computation

Daniel Licata and Robert Harper

Attribute Grammars Fly First-Class: How to do aspect oriented programming in Haskell

Marcos Viera, S. Doaitse Swierstra and Wouter S. Swierstra

Automatically RESTful Web Applications Or, Marking Modular Serializable Continuations

Jay McCarthy

Beautiful differentiation

Conal Elliott

Biorthogonality, Step-Indexing and Compiler Correctness

Nick Benton and Chung-Kil Hur

Causal Commutative Arrows and Their Optimization

Hai Liu, Eric Cheng and Paul Hudak

Complete and Decidable Type Inference for GADTs

Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann and Dimitrios Vytiniotis

Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation

Jan Midtgaard and Thomas P. Jensen

Effective Interactive Proofs for Higher-Order Imperative Programs

Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar and Ryan Wisnesky

Experience Report: Embedded, Parallel Computer-Vision with a Functional DSL

Ryan Newton and Teresa Ko

Experience Report: Haskell in the RealWorld

Curt Sampson

Experience Report: OCaml for an industrial-strength static analysis framework

Pascal Cuoq and Julien Signoles

Experience Report: Ocsigen, a Web Programming Framework

Vincent Balat, Jérôme Vouillon and Boris Yakobowski

Experience Report: seL4 -- Formally Verifying a High-Performance Microkernel

Gerwin Klein, Philip Derrin and Kevin Elphinstone

Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework

Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury and Jean-Louis Colaco

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts and Ulf Wiger

Free Theorems Involving Type Constructor Classes

Janis Voigtlaender

Generic programming with fixed points for mutually recursive datatypes

Alexey Rodriguez, Stefan Holdermans, Andres Löh and Johan Jeuring

Identifying Query Incompatibilities with Evolving XML Schemas

Pierre Geneves, Nabil Layaida and Vincent Quint

Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

Tiark Rompf, Ingo Maier and Martin Odersky

La Tour D'Hanoï

Ralf Hinze

Non-Parametric Parametricity

Georg Neis, Derek Dreyer and Andreas Rossberg

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons

Thomas Gazagnaire and Vincent Hanquez

Parallel Concurrent ML

John Reppy, Claudio Russo and Yingqi Xiao

Partial Memoization of Concurrency and Communication

Lukasz Ziarek, KC Sivaramakrishnan and Suresh Jagannathan

Purely Functional Lazy Non-deterministic Programming

Sebastian Fischer, Oleg Kiselyov and Chung-chieh Shan

Runtime Support for Multicore Haskell

Simon Marlow, Simon Peyton Jones and Satnam Singh

Safe Functional Reactive Programming through Dependent Types

Neil Sculthorpe and Henrik Nilsson