ICFP 2009: Accepted Submissions

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
Scribble: Closing the Book on Ad Hoc Documentation Tools
  Matthew Flatt, Eli Barzilay and Robert Bruce Findler

START Conference Manager (V2.56.8 - Rev. 748M)