Accepted Papers<br> ICFP 2007: International Conference on Functional Programming<br> <a href="http://www.informatik.uni-bonn.de/~ralf/icfp07.html">http://www.informatik.uni-bonn.de/~ralf/icfp07.html
</a><br> Freiburg, Germany, 1-3 October 2007<br> <br>The ICFP 2007 Program Chair and Committee are pleased to announce that<br>the following papers have been accepted for the conference.
<br><br>Additional information regarding the final program, invited speakers,<br>and registration will be forthcoming. However, the Local Arrangements<br>Chair offers the following advice regarding hotel reservations:<br>
<br> * As September and October is Freiburg's main tourist season, it is<br> important that participants book hotel rooms early. The blocks of<br> hotel rooms reserved for ICFP participants will be held until<br>
August 1. It is expected that many downtown hotels will be fully<br> booked at the time of the conference. [However, there should be<br> little to no penalty for cancelling a hotel room reservation after<br> August 1.]
<br><br>More details regarding accommodation and travel may be obtained from<br>the ICFP 2007 Local Information webpage:<br> <a href="http://proglang.informatik.uni-freiburg.de/ICFP2007/">http://proglang.informatik.uni-freiburg.de/ICFP2007/
</a><br><br><br> Accepted papers<br> ~~~~~~~~~~~~~~~<br><br>A Generic Usage Analysis with Subeffect Qualifiers<br> by Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
<br><br>Experience Report: A Haskell interpreter for CellML<br> by Jonathan Cooper, Steve McKeever<br><br>A type directed translation of MLF to System-F<br> by Daan Leijen<br><br>A Type System for Recursive Modules<br>
by Derek Dreyer<br><br>Adding Delimited and Composable Control to a Production Programming<br> Environment<br> by Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen<br><br>Bidirectionalization Transformation based on Automatic Derivation of View
<br> Complement Functions<br> by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, <br> Masato Takeichi<br><br>Experience Report: Building an Eclipse-based IDE for Haskell<br> by Leif Frenzel<br>
<br>Compiling with Continuations, Continued<br> by Andrew J. Kennedy<br><br>Constructor specialisation for Haskell programs<br> by Simon Peyton Jones<br><br>Evaluating High-Level Distributed Language Constructs<br> by Jan Nystrom, Phil Trinder, David King
<br><br>Extensible Pattern Matching via a Lightweight Language Extension<br> by Don Syme, Gregory Neverov, James Margetson<br><br>Faster laziness using dynamic pointer tagging<br> by Simon Marlow, Alexey Rodriguez, Simon Peyton Jones
<br><br>Feedback Directed Implicit Parallelism<br> by Tim Harris, Satnam Singh<br><br>Finger Trees in Russell<br> by Matthieu Sozeau<br><br>Functional Pearl: The Great Escape<br> by David Herman<br><br>Experience Report: Functional Programming in C-Rules
<br> by Jeremy Wazny<br><br>Inductive Reasoning about Effectful Data Types<br> by Andrzej Filinski, Kristian Stoevring<br><br>iTasks: Executable Specifications of Interactive Work Flow Systems for the Web<br> by Rinus Plasmeijer, Peter Achten, Pieter Koopman
<br><br>Lazy Call-By-Value Evaluation<br> by Frank Huch, Bernd Brassel, Sebastian Fischer, Michael Hanus, <br> German Vidal<br><br>McErlang: A Model Checker for a Distributed Functional Programming Language<br>
by Lars-Åke Fredlund, Hans Svensson<br><br>On Barron and Strachey's Cartesian Product Function<br> by Michael Spivey, Olivier Danvy<br><br>Ott: Effective Tool Support for the Working Semanticist<br> by Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine,
<br> Thomas Ridge, Susmit Sarkar, Rok Strnisa<br><br>Relating Complexity and Precision in Control Flow Analysis<br> by David Van Horn, Harry Mairson<br><br>Experience Report: Scheme in Commercial Web Application Development
<br> by Noel Welsh, David Gurnell<br><br>Stream Fusion: From Lists to Streams to Nothing at All<br> by Duncan Coutts, Roman Leshchinskiy, Don Stewart<br><br>Tangible Functional Programming<br> by Conal Elliott<br>
<br>Termination Analysis and Call Graph Construction for Higher-Order Functional<br> Programs<br> by Damien Sereni<br><br>The Portable R6RS Syntax System<br> by Abdulaziz Ghuloum, R. Kent Dybvig<br><br>Experience Report: The Reactis Validation Tool
<br> by Steve Sims, Daniel C. DuVarney<br><br>Type-safe Higher-order Channels in ML-like Languages<br> by Sungwoo Park<br><br>User-Friendly Functional Programming for Web Mashups<br> by Rob Ennals, David Gay<br><br>
Experience Report: Using Functional Programming to Manage a Linux Distribution<br> by Clifford Beshers, David Fox, Jeremy Shaw<br><br>