The 12th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2007)

Freiburg, Germany
October 1-3, 2007

Preliminary Program

9:00-10:00: Invited talk: John Hughes (Chalmers University of Technology)
10:00-10:25: Break
10:25-11:15: Ott: Effective Tool Support for the Working Semanticist
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa; Programming Finger Trees in Coq
Matthieu Sozeau
11:15-11:40: Break
11:40-12:30: Experience Report: Functional Programming in C-Rules
Jeremy Wazny; Extensible Pattern Matching via a Lightweight Language Extension
Don Syme, Gregory Neverov, James Margetson
12:30-14:00: Lunch
14:00-15:15: On Barron and Strachey's Cartesian Product Function
Olivier Danvy, Michael Spivey; Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi; Tangible Functional Programming
Conal Elliott
15:15-15:40: Break
15:40-16:30: Termination Analysis and Call Graph Construction for Higher-Order Functional Programs
Damien Sereni; Relating Complexity and Precision in Control Flow Analysis
David Van Horn, Harry Mairson
16:30-16:55: Break
16:55-17:45: Inductive Reasoning about Effectful Data Types
Andrzej Filinski, Kristian Stoevring; A type directed translation of MLF to System-F
Daan Leijen
17:45-18:10: PC chair's report
19:00--: Program committee meeting

9:00-10:00: Invited talk: Frank Pfenning (Carnegie Mellon University)
10:00-10:25: Break
10:25-11:15: McErlang: A Model Checker for a Distributed Functional Programming Language
Lars-Åke Fredlund, Hans Svensson; Experience Report: The Reactis Validation Tool
Steve Sims, Daniel C. DuVarney
11:15-11:40: Break
11:40-12:30: iTasks: Executable Specifications of Interactive Work Flow Systems for the Web
Rinus Plasmeijer, Peter Achten, Pieter Koopman; Experience Report: Scheme in Commercial Web Application Development
Noel Welsh, David Gurnell
12:30-14:00: Lunch
14:00-15:15: Functional Pearl: The Great Escape
David Herman; Adding Delimited and Composable Control to a Production Programming Environment
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen; Compiling with Continuations, Continued
Andrew J. Kennedy
15:15-15:40: Break
15:40-16:30: Type-safe Higher-order Channels in ML-like Languages
Sungwoo Park; Evaluating High-Level Distributed Language Constructs
Jan Nystrom, Phil Trinder, David King
16:30-16:55: Break
16:55-17:20: Experience Report: Using Functional Programming to Manage a Linux Distribution
Clifford Beshers, David Fox, Jeremy Shaw
17:20-18:10: Contest chair's report
19:30--: Conference dinner
Most Influential ICFP Paper Awards (ICFP'96 and ICFP'97)

9:00-10:00: Invited talk: John Lloyd (Australian National University)
10:00-10:25: Break
10:25-11:15: Experience Report: Building an Eclipse-based IDE for Haskell
Leif Frenzel; User-Friendly Functional Programming for Web Mashups
Rob Ennals, David Gay
11:15-11:40: Break
11:40-12:30: A Generic Usage Analysis with Subeffect Qualifiers
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop; Experience Report: A Haskell interpreter for CellML
Jonathan Cooper, Steve McKeever
12:30-14:00: Lunch
14:00-15:15: Feedback Directed Implicit Parallelism
Tim Harris, Satnam Singh; Lazy Call-By-Value Evaluation
Frank Huch, Bernd Brassel, Sebastian Fischer, Michael Hanus, German Vidal; Faster laziness using dynamic pointer tagging
Simon Marlow, Alexey Rodriguez, Simon Peyton Jones
15:15-15:40: Break
15:40-16:30: A Type System for Recursive Modules
Derek Dreyer; The Portable R6RS Syntax System
Abdulaziz Ghuloum, R. Kent Dybvig
16:30-16:55: Break
16:55-17:45: Stream Fusion: From Lists to Streams to Nothing at All
Duncan Coutts, Roman Leshchinskiy, Don Stewart; Call-pattern Specialization for Haskell Programs
Simon Peyton Jones