9. ICFP 2004: Snowbird, Utah, USA

Chris Okasaki, Kathleen Fisher (Eds.): Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004, ISBN 1-58113-905-5 BibTeX

Norman Ramsey, Simon L. Peyton Jones:
The C - compiler infrastructure. 1
Electronic Edition (ACM DL) BibTeX
John Launchbury:
Galois: high assurance software. 3
Electronic Edition (ACM DL) BibTeX

Session I

Simon Marlow, Simon L. Peyton Jones:
Making a fast curry: push/enter vs. eval/apply for higher-order languages. 4-15
Electronic Edition (ACM DL) BibTeX
David Herman, Philippe Meunier:
Improving the static analysis of embedded languages via partial evaluation. 16-27
Electronic Edition (ACM DL) BibTeX
Jan Christiansen, Frank Huch:
Searching for deadlocks while debugging concurrent haskell programs. 28-39
Electronic Edition (ACM DL) BibTeX

Session II

Zena M. Ariola, Hugo Herbelin, Amr Sabry:
A type-theoretic foundation of continuations and prompts. 40-53
Electronic Edition (ACM DL) BibTeX
Mitchell Wand, Dale Vaillancourt:
Relating models of backtracking. 54-65
Electronic Edition (ACM DL) BibTeX
Paul Graham:
Don't make the wrong mistakes: programming as debugging. 66
Electronic Edition (ACM DL) BibTeX

Session III

Niklas Broberg, Andreas Farre, Josef Svenningsson:
Regular expression patterns. 67-78
Electronic Edition (ACM DL) BibTeX
Olin Shivers, David Fisher:
Multi-return function call. 79-89
Electronic Edition (ACM DL) BibTeX
Andrew P. Tolmach, Sergio Antoy, Marius Nita:
Implementing functional logic languages using multiple threads and stores. 90-102
Electronic Edition (ACM DL) BibTeX

Session IV

Matthew Fluet, J. Gregory Morrisett:
Monadic regions. 103-114
Electronic Edition (ACM DL) BibTeX
Stephen Tse, Steve Zdancewic:
Translating dependency into parametricity. 115-125
Electronic Edition (ACM DL) BibTeX
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani:
Types for path correctness of XML queries. 126-137
Electronic Edition (ACM DL) BibTeX

Session V

Peter Møller Neergaard, Harry G. Mairson:
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. 138-149
Electronic Edition (ACM DL) BibTeX
Nadji Gauthier, François Pottier:
Numbering matters: first-order canonical forms for second-order recursive types. 150-161
Electronic Edition (ACM DL) BibTeX
Ulf Wiger:
20 years of industrial functional programming. 162
Electronic Edition (ACM DL) BibTeX

Session VI

Kohei Honda:
From process logic to program logic. 163-174
Electronic Edition (ACM DL) BibTeX
Dachuan Yu, Zhong Shao:
Verification of safety properties for concurrent assembly code. 175-188
Electronic Edition (ACM DL) BibTeX
Matthias Blume, David A. McAllester:
A sound (and complete) model of contracts. 189-200
Electronic Edition (ACM DL) BibTeX

Session VII

Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig:
A nanopass infrastructure for compiler education. 201-212
Electronic Edition (ACM DL) BibTeX
Markus Forsberg, Aarne Ranta:
Functional morphology. 213-223
Electronic Edition (ACM DL) BibTeX
Robert Bruce Findler, Matthew Flatt:
Slideshow: functional presentations. 224-235
Electronic Edition (ACM DL) BibTeX

Session VIII

Ralf Hinze:
Generics for the masses. 236-243
Electronic Edition (ACM DL) BibTeX
Ralf Lämmel, Simon L. Peyton Jones:
Scrap more boilerplate: reflection, zips, and generalised casts. 244-255
Electronic Edition (ACM DL) BibTeX