ICFP09 Accepted Papers
Matthew Fluet (ICFP Publicity Chair)
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