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

Norman Ramsey, Simon L. Peyton Jones:
The C - compiler infrastructure. 1
John Launchbury:
Galois: high assurance software. 3

Session I

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

Session II

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

Session III

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

Session IV

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

Session V

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

Session VI

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

Session VII

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

Session VIII

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

Last update Fri May 25 08:18:54 2012 CET by the DBLP Team —

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