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
  Electronic Edition (ACM DL) BibTeX

Language design

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

Calculation, derivation, visualization

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

Control-flow analysis

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

Working with types

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

Testing and validation

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

Programming the web

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

Continuations

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

Concurrency and distribution

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

Functional programming and the masses

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

Mainstream problems

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

Analysis of Haskell and Haskell for analysis

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

Compilation

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

Modules

• Derek Dreyer:
  A type system for recursive modules. 289-302
  Electronic Edition (ACM DL) BibTeX
• Abdulaziz Ghuloum, R. Kent Dybvig:
  Implicit phasing for R6RS libraries. 303-314
  Electronic Edition (ACM DL) BibTeX

Efficient value constructors

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