<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1589" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT face=Arial color=#0000ff size=2><SPAN class=005254515-15062007>Oops -
two erlang-related papers in the main ICFP conference! (Nyström et al &
Fredlund et al)</SPAN></FONT></DIV>
<DIV><FONT face=Arial color=#0000ff size=2><SPAN
class=005254515-15062007></SPAN></FONT> </DIV>
<DIV><FONT face=Arial color=#0000ff size=2><SPAN class=005254515-15062007>When
did that last happen? (-:</SPAN></FONT></DIV>
<DIV><FONT face=Arial color=#0000ff size=2><SPAN
class=005254515-15062007></SPAN></FONT> </DIV>
<DIV><FONT face=Arial color=#0000ff size=2><SPAN
class=005254515-15062007>BR,</SPAN></FONT></DIV>
<DIV><FONT face=Arial color=#0000ff size=2><SPAN class=005254515-15062007>Ulf
W</SPAN></FONT></DIV><BR>
<BLOCKQUOTE
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
<DIV class=OutlookMessageHeader lang=en-us dir=ltr align=left>
<HR tabIndex=-1>
<FONT face=Tahoma size=2><B>From:</B> erlang-questions-bounces@erlang.org
[mailto:erlang-questions-bounces@erlang.org] <B>On Behalf Of </B>Matthew Fluet
(ICFP Publicity Chair)<BR><B>Sent:</B> den 15 juni 2007 16:52<BR><B>To:</B>
erlang-questions@erlang.org<BR><B>Subject:</B> [erlang-questions] ICFP07
Accepted Papers<BR></FONT><BR></DIV>
<DIV></DIV>
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></BLOCKQUOTE></BODY></HTML>