12. ICFP 2007: Freiburg, Germany

Ralf Hinze, Norman Ramsey (Eds.): Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. ACM 2007, ISBN 978-1-59593-815-2

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 Henry 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

Last update Sat May 18 18:44:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page