9. ICFP 2004: Snowbird, Utah, USA

• 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 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