From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 48BC7BC0A for ; Fri, 15 Jun 2007 16:49:38 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.173]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5FEnbGf007578 for ; Fri, 15 Jun 2007 16:49:37 +0200 Received: by ug-out-1314.google.com with SMTP id p27so75612ugc for ; Fri, 15 Jun 2007 07:49:37 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=googlemail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:reply-to:to:subject:mime-version:content-type; b=LFLQvW1eG1IDyDkKxqCHbABYat7ewgXQp2Z+6LnpHa0muQ7SOj81oQ1q6b7jWrO2jyypfBmNyOXjBJiw1l76opAUedE51I8EZ64zzMtw7aIwLxldD5B45nVS2pIqH4YvPVs2/qyDrikGQw7YkFR8JotwxFS+br2vu/3ITY4ccmY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=beta; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type; b=TuisMI3dsD/a4VOYPxEEqKRG5DQkqCgIHLcAmTIg7HLGh6jhPBKqeOhkus6RzsqJUv5f0aFsXYJ5NQbJ0HhGOQIx66FJzcB9CGzwPLh7gZYnPs+ZvBIQ8tk611kwmi4dHDzH7W2NNK65TNsItTb23shXbkeFZVwKlmA0FNTsc6Y= Received: by 10.78.140.17 with SMTP id n17mr1294940hud.1181918977018; Fri, 15 Jun 2007 07:49:37 -0700 (PDT) Received: by 10.78.129.3 with HTTP; Fri, 15 Jun 2007 07:49:36 -0700 (PDT) Message-ID: <53ff55480706150749i374d6801t229d9cbbd076bcf7@mail.gmail.com> Date: Fri, 15 Jun 2007 09:49:36 -0500 From: "Matthew Fluet (ICFP Publicity Chair)" Reply-To: fluet@tti-c.org To: caml-list@inria.fr Subject: ICFP07 Accepted Papers MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_35627_5014441.1181918976993" X-j-chkmail-Score: MSGID : 4672A701.004 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 4672A701.004 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; icfp:01 icfp:01 ralf:01 freiburg:01 qualifiers:01 haskell:01 mlf:01 recursive:01 delimited:01 flatt:01 findler:01 felleisen:01 derivation:01 haskell:01 high-level:01 ------=_Part_35627_5014441.1181918976993 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Accepted Papers ICFP 2007: International Conference on Functional Programming http://www.informatik.uni-bonn.de/~ralf/icfp07.html Freiburg, Germany, 1-3 October 2007 The ICFP 2007 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 Chair offers the following advice regarding hotel reservations: * As September and October is Freiburg's main tourist season, it is important that participants book hotel rooms early. The blocks of hotel rooms reserved for ICFP participants will be held until August 1. It is expected that many downtown hotels will be fully booked at the time of the conference. [However, there should be little to no penalty for cancelling a hotel room reservation after August 1.] More details regarding accommodation and travel may be obtained from the ICFP 2007 Local Information webpage: http://proglang.informatik.uni-freiburg.de/ICFP2007/ Accepted papers ~~~~~~~~~~~~~~~ A Generic Usage Analysis with Subeffect Qualifiers by Jurriaan Hage, Stefan Holdermans, Arie Middelkoop Experience Report: A Haskell interpreter for CellML by Jonathan Cooper, Steve McKeever A type directed translation of MLF to System-F by Daan Leijen A Type System for Recursive Modules by Derek Dreyer Adding Delimited and Composable Control to a Production Programming Environment by Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions by Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi Experience Report: Building an Eclipse-based IDE for Haskell by Leif Frenzel Compiling with Continuations, Continued by Andrew J. Kennedy Constructor specialisation for Haskell programs by Simon Peyton Jones Evaluating High-Level Distributed Language Constructs by Jan Nystrom, Phil Trinder, David King Extensible Pattern Matching via a Lightweight Language Extension by Don Syme, Gregory Neverov, James Margetson Faster laziness using dynamic pointer tagging by Simon Marlow, Alexey Rodriguez, Simon Peyton Jones Feedback Directed Implicit Parallelism by Tim Harris, Satnam Singh Finger Trees in Russell by Matthieu Sozeau Functional Pearl: The Great Escape by David Herman Experience Report: Functional Programming in C-Rules by Jeremy Wazny Inductive Reasoning about Effectful Data Types by Andrzej Filinski, Kristian Stoevring iTasks: Executable Specifications of Interactive Work Flow Systems for the Web by Rinus Plasmeijer, Peter Achten, Pieter Koopman Lazy Call-By-Value Evaluation by Frank Huch, Bernd Brassel, Sebastian Fischer, Michael Hanus, German Vidal McErlang: A Model Checker for a Distributed Functional Programming Language by Lars-=C5ke Fredlund, Hans Svensson On Barron and Strachey's Cartesian Product Function by Michael Spivey, Olivier Danvy Ott: Effective Tool Support for the Working Semanticist by Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa Relating Complexity and Precision in Control Flow Analysis by David Van Horn, Harry Mairson Experience Report: Scheme in Commercial Web Application Development by Noel Welsh, David Gurnell Stream Fusion: From Lists to Streams to Nothing at All by Duncan Coutts, Roman Leshchinskiy, Don Stewart Tangible Functional Programming by Conal Elliott Termination Analysis and Call Graph Construction for Higher-Order Functiona= l Programs by Damien Sereni The Portable R6RS Syntax System by Abdulaziz Ghuloum, R. Kent Dybvig Experience Report: The Reactis Validation Tool by Steve Sims, Daniel C. DuVarney Type-safe Higher-order Channels in ML-like Languages by Sungwoo Park User-Friendly Functional Programming for Web Mashups by Rob Ennals, David Gay Experience Report: Using Functional Programming to Manage a Linux Distribution by Clifford Beshers, David Fox, Jeremy Shaw ------=_Part_35627_5014441.1181918976993 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline             &nb= sp;            =   Accepted Papers
    ICFP 2007: International Confe= rence on Functional Programming
      &nbs= p;  ht= tp://www.informatik.uni-bonn.de/~ralf/icfp07.html
           &= nbsp;     Freiburg, Germany, 1-3 October 2007
 =             &nb= sp;            =          
The ICFP 2007 Program = Chair and Committee are pleased to announce that
the following papers ha= ve been accepted for the conference.

Additional information regarding the final program, invited speaker= s,
and registration will be forthcoming.  However, the Local Arrang= ements
Chair offers the following advice regarding hotel reservations:
 * As September and October is Freiburg's main tourist season,= it is
   important that participants book hotel rooms early.&= nbsp; The blocks of
   hotel rooms reserved for ICFP participa= nts will be held until
   August 1.  It is expected that many downtown hotels will = be fully
   booked at the time of the conference.  [Howev= er, there should be
   little to no penalty for cancelling a h= otel room reservation after
   August 1.]

More details regarding accommodation and travel may be obtained fro= m
the ICFP 2007 Local Information webpage:
    &n= bsp;    http://proglang.informatik.uni-freiburg.de/ICFP2007/


          = ;            &n= bsp;    Accepted papers
     &nb= sp;            =          ~~~~~~~~~~~~~~~

A G= eneric Usage Analysis with Subeffect Qualifiers
    by Ju= rriaan Hage, Stefan Holdermans, Arie Middelkoop

Experience Report: A Haskell interpreter for CellML
  =   by Jonathan Cooper, Steve McKeever

A type directed translatio= n of MLF to System-F
    by Daan Leijen

A Type Sys= tem for Recursive Modules
    by Derek Dreyer

Adding Delimited and Composable C= ontrol to a Production Programming
  Environment
  &nb= sp; by Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
=
Bidirectionalization Transformation based on Automatic Derivation of Vi= ew
  Complement Functions
    by Kazutaka Matsuda, = Zhenjiang Hu, Keisuke Nakano, Makoto Hamana,
    &n= bsp;    Masato Takeichi

Experience Report: Building a= n Eclipse-based IDE for Haskell
    by Leif Frenzel

Compiling with Continuations, Continued
    by Andrew= J. Kennedy

Constructor specialisation for Haskell programs
 = ;   by Simon Peyton Jones

Evaluating High-Level Distribute= d Language Constructs
    by Jan Nystrom, Phil Trinder, D= avid King

Extensible Pattern Matching via a Lightweight Language Extension    by Don Syme, Gregory Neverov, James Margetson

Fa= ster laziness using dynamic pointer tagging
    by Simon = Marlow, Alexey Rodriguez, Simon Peyton Jones

Feedback Directed Implicit Parallelism
    by Tim= Harris, Satnam Singh

Finger Trees in Russell
    = by Matthieu Sozeau

Functional Pearl: The Great Escape
  = ;  by David Herman

Experience Report: Functional Programming in= C-Rules
    by Jeremy Wazny

Inductive Reasoning about Eff= ectful Data Types
    by Andrzej Filinski, Kristian Stoev= ring

iTasks: Executable Specifications of Interactive Work Flow Syst= ems for the Web
    by Rinus Plasmeijer, Peter Achten, Pi= eter Koopman

Lazy Call-By-Value Evaluation
    by Frank Huch, = Bernd Brassel, Sebastian Fischer, Michael Hanus,
   &nbs= p;     German Vidal

McErlang: A Model Checker fo= r a Distributed Functional Programming Language
    by Lars-=C5ke Fredlund, Hans Svensson

On Barron a= nd Strachey's Cartesian Product Function
    by Micha= el Spivey, Olivier Danvy

Ott: Effective Tool Support for the Working= Semanticist
    by Peter Sewell, Francesco Zappa Nardell= i, Scott Owens, Gilles Peskine,
         Thomas Ridge, Susmit S= arkar, Rok Strnisa

Relating Complexity and Precision in Control Flow= Analysis
    by David Van Horn, Harry Mairson

Exp= erience Report: Scheme in Commercial Web Application Development
    by Noel Welsh, David Gurnell

Stream Fusion: F= rom Lists to Streams to Nothing at All
    by Duncan Cout= ts, Roman Leshchinskiy, Don Stewart

Tangible Functional Programming<= br>    by Conal Elliott

Termination Analysis and Call Graph Construction for Higher-Order Funct= ional
  Programs
    by Damien Sereni

The = Portable R6RS Syntax System
    by Abdulaziz Ghuloum, R. = Kent Dybvig

Experience Report: The Reactis Validation Tool
    by Steve Sims, Daniel C. DuVarney

Type-safe H= igher-order Channels in ML-like Languages
    by Sungwoo = Park

User-Friendly Functional Programming for Web Mashups
 &= nbsp;  by Rob Ennals, David Gay

Experience Report: Using Functional Programming to Manage a Linux Distribut= ion
    by Clifford Beshers, David Fox, Jeremy Shaw
------=_Part_35627_5014441.1181918976993--