Chris Okasaki, Kathleen Fisher
Proceedings of the Ninth International Conference on Functional Programming
ICFP, 2004.

@proceedings{ICFP-2004,
	address       = "Snow Bird, Utah, USA",
	editor        = "Chris Okasaki and Kathleen Fisher",
	isbn          = "1-58113-905-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth International Conference on Functional Programming}",
	year          = 2004,
}

Contents (25 items)

4 ×#functional
2 ×#compilation
2 ×#concurrent
2 ×#debugging
2 ×#framework
2 ×#higher-order
2 ×#logic
2 ×#multi
2 ×#named
2 ×#programming

ICFP-2004-RamseyJ #c #compilation #framework

The C — compiler infrastructure (NR, SLPJ), p. 1.

ICFP-2004-Launchbury #assurance #named

Galois: high assurance software (JL), p. 3.

ICFP-2004-MarlowJ #higher-order #performance

Making a fast curry: push/enter vs. eval/apply for higher-order languages (SM, SLPJ), pp. 4–15.

ICFP-2004-HermanM #embedded #partial evaluation #static analysis

Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.

ICFP-2004-ChristiansenH #concurrent #debugging #haskell #source code

Searching for deadlocks while debugging concurrent haskell programs (JC, FH), pp. 28–39.

ICFP-2004-AriolaHS #continuation

A type-theoretic foundation of continuations and prompts (ZMA, HH, AS), pp. 40–53.

ICFP-2004-WandV #backtracking #modelling

Relating models of backtracking (MW, DV), pp. 54–65.

ICFP-2004-Graham #debugging #programming

Don’t make the wrong mistakes: programming as debugging (PG), p. 66.

ICFP-2004-BrobergFS #regular expression

Regular expression patterns (NB, AF, JS), pp. 67–78.

ICFP-2004-ShiversF #multi

Multi-return function call (OS, DF), pp. 79–89.

ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using

Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.

ICFP-2004-FluetM #monad

Monadic regions (MF, JGM), pp. 103–114.

ICFP-2004-TseZ #dependence #parametricity

Translating dependency into parametricity (ST, SZ), pp. 115–125.

ICFP-2004-ColazzoGMS #correctness #query #xml

Types for path correctness of XML queries (DC, GG, PM, CS), pp. 126–137.

ICFP-2004-NeergaardM #type system #why

Types, potency, and idempotency: why nonlinearity and amnesia make a type system work (PMN, HGM), pp. 138–149.

ICFP-2004-GauthierP #canonical #first-order #higher-order #matter #recursion

Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.

ICFP-2004-Wiger #functional #industrial #programming

20 years of industrial functional programming (UTW), p. 162.

ICFP-2004-Honda #logic #process

From process logic to program logic (KH), pp. 163–174.

ICFP-2004-YuS #assembly #concurrent #safety #verification

Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.

ICFP-2004-BlumeM #contract

A sound (and complete) model of contracts (MB, DAM), pp. 189–200.

ICFP-2004-SarkarWD #compilation #education #framework

A nanopass infrastructure for compiler education (DS, OW, RKD), pp. 201–212.

ICFP-2004-ForsbergR #functional

Functional morphology (MF, AR), pp. 213–223.

ICFP-2004-FindlerF #functional #named

Slideshow: functional presentations (RBF, MF), pp. 224–235.

ICFP-2004-Hinze

Generics for the masses (RH), pp. 236–243.

ICFP-2004-LammelJ #scrap your boilerplate

Scrap more boilerplate: reflection, zips, and generalised casts (RL, SLPJ), pp. 244–255.