[TYPES/announce] ICFP09 Accepted Papers

[Matthew Fluet (ICFP Publicity Chair)]

                           Accepted Papers
    ICFP 2009: International Conference on Functional Programming
          Edinburgh, Scotland, 31 August - 2 September 2009
              http://www.cs.nott.ac.uk/~gmh/icfp09.html

The ICFP 2009 Program Chair and Committee are pleased to announce that
the following papers have been accepted for the conference.

Additional information regarding the final program, invited speakers,
and registration will be forthcoming.  However, the Local Arrangements
Co-Chairs would like to remind participants of the following:

 * ICFP'09 coincides with the final week of the Edinburgh
   International Festival, one of the premier arts and cultural
   festivals in the world.  The opportunity to attend the Festival is
   a plus!  Due to the popularity of Edinburgh during the festival
   period, we recommend booking accommodation early.

More details regarding accommodation may be obtained from
the ICFP 2009 Local Arrangements webpage:
 http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements


                           Accepted papers
                           ~~~~~~~~~~~~~~~

A CONCURRENT ML LIBRARY IN CONCURRENT HASKELL
   Avik Chaudhuri

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

EDUCATIONAL PEARL: FUN FOR FRESHMEN KIDS
   Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and
   Shriram Krishnamurthi

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

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
   Suresh Jagannathan, KC Sivaramakrishnan and Lukasz Ziarek

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

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