12. ICFP 2007: Freiburg, Germany

Semantic tools

• Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa:
  Ott: effective tool support for the working semanticist. 1-12
  

Language design

• Jeremy Wazny:
  Experience report: functional programming in c-rules. 25-28
  
• Don Syme, Gregory Neverov, James Margetson:
  Extensible pattern matching via a lightweight language extension. 29-40
  

Calculation, derivation, visualization

• Olivier Danvy, J. Michael Spivey:
  On Barron and Strachey's cartesian product function. 41-46
  
• Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi:
  Bidirectionalization transformation based on automatic derivation of view complement functions. 47-58
  
• Conal Elliott:
  Tangible functional programming. 59-70
  

Control-flow analysis

• Damien Sereni:
  Termination analysis and call graph construction for higher-order functional programs. 71-84
  
• David Van Horn, Harry G. Mairson:
  Relating complexity and precision in control flow analysis. 85-96
  

Working with types

• Andrzej Filinski, Kristian Støvring:
  Inductive reasoning about effectful data types. 97-110
  
• Daan Leijen:
  A type directed translation of MLF to system F. 111-122
  
• John W. Lloyd:
  Declarative programming for artificial intelligence applications. 123-124
  

Testing and validation

• Lars-Åke Fredlund, Hans Svensson:
  McErlang: a model checker for a distributed functional programming language. 125-136
  
• Steve Sims, Daniel C. DuVarney:
  Experience report: the reactis validation tool. 137-140
  

Programming the web

• Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
  iTasks: executable specifications of interactive work flow systems for the web. 141-152
  
• Noel Welsh, David Gurnell:
  Experience report: scheme in commercial web application development. 153-156
  

Continuations

• David Herman:
  Functional pearl: the great escape or, how to jump the border without getting caught. 157-164
  
• Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen:
  Adding delimited and composable control to a production programming environment. 165-176
  
• Andrew Kennedy:
  Compiling with continuations, continued. 177-190
  

Concurrency and distribution

• Sungwoo Park:
  Type-safe higher-order channels in ML-like languages. 191-202
  
• Jan Nyström, Philip W. Trinder, David J. King:
  Evaluating high-level distributed language constructs. 203-212
  

Functional programming and the masses

• Clifford Beshers, David Fox, Jeremy Shaw:
  Experience report: using functional programming to manage a linux distribution. 213-218
  
• Frank Pfenning:
  Subtyping and intersection types revisited. 219
  

Mainstream problems

• Leif Frenzel:
  Experience report: building an eclipse-based IDE for Haskell. 220-222
  
• Robert Ennals, David Gay:
  User-friendly functional programming for web mashups. 223-234
  

Analysis of Haskell and Haskell for analysis

• Jurriaan Hage, Stefan Holdermans, Arie Middelkoop:
  A generic usage analysis with subeffect qualifiers. 235-246
  
• Jonathan Cooper, Steve McKeever:
  Experience report: a Haskell interpreter for cellML. 247-250
  

Compilation

• Tim Harris, Satnam Singh:
  Feedback directed implicit parallelism. 251-264
  
• Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal:
  Lazy call-by-value evaluation. 265-276
  
• Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones:
  Faster laziness using dynamic pointer tagging. 277-288
  

Modules

• Derek Dreyer:
  A type system for recursive modules. 289-302
  
• Abdulaziz Ghuloum, R. Kent Dybvig:
  Implicit phasing for R6RS libraries. 303-314
  

Efficient value constructors

• Duncan Coutts, Roman Leshchinskiy, Don Stewart:
  Stream fusion: from lists to streams to nothing at all. 315-326
  
• Simon L. Peyton Jones:
  Call-pattern specialisation for haskell programs. 327-337