default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ICFP 2004: Snowbird, Utah, USA
- Chris Okasaki, Kathleen Fisher:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-15 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
