13. ICFP 2008: Victoria, BC, Canada

James Hook, Peter Thiemann (Eds.): Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. ACM 2008, ISBN 978-1-59593-919-7 BibTeX

Butler W. Lampson:
Lazy and speculative execution in computer systems. 1-2
Electronic Edition (ACM DL) BibTeX

Session 1

James Cheney:
FLUX: functional updates for XML. 3-14
Electronic Edition (ACM DL) BibTeX
Giuseppe Castagna, Kim Nguyen:
Typed iterators for XML. 15-26
Electronic Edition (ACM DL) BibTeX

Session 2

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic:
AURA: a programming language for authorization and audit. 27-38
Electronic Edition (ACM DL) BibTeX
Nicolas Oury, Wouter Swierstra:
The power of Pi. 39-50
Electronic Edition (ACM DL) BibTeX

Session 3

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann:
Type checking with open type functions. 51-62
Electronic Edition (ACM DL) BibTeX
Didier Rémy, Boris Yakobowski:
From ML to ML^F: graphic type constraints with efficient type inference. 63-74
Electronic Edition (ACM DL) BibTeX

Session 4

Louis-Julien Guillemette, Stefan Monnier:
A type-preserving compiler in Haskell. 75-86
Electronic Edition (ACM DL) BibTeX
Mark P. Jones:
Experience report: playing the DSL card. 87-90
Electronic Edition (ACM DL) BibTeX
Fritz Henglein:
Generic discrimination: sorting and paritioning unshared data in linear time. 91-102
Electronic Edition (ACM DL) BibTeX

Session 5

Laura Effinger-Dean, Matthew Kehrt, Dan Grossman:
Transactional events for ML. 103-114
Electronic Edition (ACM DL) BibTeX
Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel:
Experience report: erlang in acoustic ray tracing. 115-118
Electronic Edition (ACM DL) BibTeX
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw:
Implicitly-threaded parallelism in Manticore. 119-130
Electronic Edition (ACM DL) BibTeX
Olivier Danvy:
Defunctionalized interpreters for programming languages. 131-142
Electronic Edition (ACM DL) BibTeX

Session 6

Adam J. Chlipala:
Parametric higher-order abstract syntax for mechanized semantics. 143-156
Electronic Edition (ACM DL) BibTeX
Amal Ahmed, Matthias Blume:
Typed closure conversion preserves observational equivalence. 157-168
Electronic Edition (ACM DL) BibTeX

Session 7

Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi:
Write it recursively: a generic framework for optimal path queries. 169-178
Electronic Edition (ACM DL) BibTeX
Michael D. Adams, R. Kent Dybvig:
Efficient nondestructive equality checking for trees and graphs. 179-188
Electronic Edition (ACM DL) BibTeX

Session 8

Ralf Hinze:
Functional pearl: streams and unique fixed points. 189-200
Electronic Edition (ACM DL) BibTeX
Sebastian Fischer, Herbert Kuchen:
Data-flow testing of declarative programs. 201-212
Electronic Edition (ACM DL) BibTeX

Session 9

Arthur Charguéraud, François Pottier:
Functional translation of a calculus of capabilities. 213-224
Electronic Edition (ACM DL) BibTeX
Lennart Augustsson, Howard Mansell, Ganesh Sittampalam:
Paradise: a two-stage DSL embedded in Haskell. 225-228
Electronic Edition (ACM DL) BibTeX
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal:
Ynot: dependent types for imperative programs. 229-240
Electronic Edition (ACM DL) BibTeX

Session 10

Matthew Fluet, Mike Rainey, John H. Reppy:
A scheduling framework for general-purpose parallel languages. 241-252
Electronic Edition (ACM DL) BibTeX
Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons:
Space profiling for parallel functional programs. 253-264
Electronic Edition (ACM DL) BibTeX
Mark P. Jones:
Polymorphism and page tables: systems programming from a functional programmer's perspective. 265-266
Electronic Edition (ACM DL) BibTeX

Session 11

Alexander Krauss:
Pattern minimization problems over recursive data types. 267-274
Electronic Edition (ACM DL) BibTeX
David Van Horn, Harry G. Mairson:
Deciding kCFA is complete for EXPTIME. 275-282
Electronic Edition (ACM DL) BibTeX

Session 12

Daan Leijen:
HMF: simple type inference for first-class polymorphism. 283-294
Electronic Edition (ACM DL) BibTeX
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones:
FPH: first-class polymorphism for Haskell. 295-306
Electronic Edition (ACM DL) BibTeX

Session 13

Derek Dreyer, Andreas Rossberg:
Mixin' up the ML module system. 307-320
Electronic Edition (ACM DL) BibTeX
Ruy Ley-Wild, Matthew Fluet, Umut A. Acar:
Compiling self-adjusting programs with continuations. 321-334
Electronic Edition (ACM DL) BibTeX

Session 14

Geoffrey Mainland, Greg Morrisett, Matt Welsh:
Flask: staged functional programming for sensor networks. 335-346
Electronic Edition (ACM DL) BibTeX
Ravi Nanavati:
Experience report: a pure shirt fits. 347-352
Electronic Edition (ACM DL) BibTeX
Sungwoo Park, Jinha Kim, Hyeonseung Im:
Functional netlists. 353-366
Electronic Edition (ACM DL) BibTeX

Session 15

Eelco Dolstra, Andres Löh:
NixOS: a purely functional Linux distribution. 367-378
Electronic Edition (ACM DL) BibTeX
David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace:
Experience report: visualizing data through functional pipelines. 379-382
Electronic Edition (ACM DL) BibTeX
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce:
Quotient lenses. 383-396
Electronic Edition (ACM DL) BibTeX

Programming contest

Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
Report on the tenth ICFP programming contest. 397-408
Electronic Edition (ACM DL) BibTeX