ICFP 2004
25 papers
- 20 years of industrial functional programming
- A nanopass infrastructure for compiler education
- A sound (and complete) model of contracts
- A type-theoretic foundation of continuations and prompts
- Don't make the wrong mistakes: programming as debugging
- From process logic to program logic
- Functional morphology
- Galois: high assurance software
- Generics for the masses
- Implementing functional logic languages using multiple threads and stores
- Improving the static analysis of embedded languages via partial evaluation
- Making a fast curry: push/enter vs. eval/apply for higher-order languages
- Monadic regions
- Multi-return function call
- Numbering matters: first-order canonical forms for second-order recursive types
- Regular expression patterns
- Relating models of backtracking
- Scrap more boilerplate: reflection, zips, and generalised casts
- Searching for deadlocks while debugging concurrent haskell programs
- Slideshow: functional presentations
- The C - compiler infrastructure
- Translating dependency into parametricity
- Types for path correctness of XML queries
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
- Verification of safety properties for concurrent assembly code