5. ICFP 2000: Montreal, Canada

• Limsoon Wong:
  The functional guts of the Kleisli query system. 1-10
  
• Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce:
  Regular expression types for XML. 11-22
  
• Christian Queinnec:
  The influence of browsers on evaluators or, continuations to program web servers. 23-33
  
• Christian Skalka, Scott F. Smith:
  Static enforcement of security with types. 34-45
  
• François Pottier, Sylvain Conchon:
  Information flow inference for free. 46-57
  
• Stephanie Weirich:
  Type-safe cast: functional pearl. 58-67
  
• Karl Crary:
  Typed compilation of inclusive subtyping. 68-81
  
• Valery Trifonov, Bratin Saha, Zhong Shao:
  Fully reflexive intensional type analysis. 82-93
  
• Manuel M. T. Chakravarty, Gabriele Keller:
  More types for nested data parallel programming. 94-105
  
• Meurig Sage:
  FranTk - a declarative GUI language for Haskell. 106-117
  
• Brian McNamara, Yannis Smaragdakis:
  Functional programming in C++. 118-129
  
• Robert Harper, Benjamin C. Pierce:
  Advanced module systems: a guide for the perplexed (abstract of invited talk). 130
  
• Chris Okasaki:
  Breadth-first numbering: lessons from a small exercise in algorithm design. 131-136
  
• Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa:
  Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. 137-149
  
• Karl-Filip Faxén:
  Cheap eagerness: speculative evaluation in a lazy functional language. 150-161
  
• Clement A. Baker-Finch, David J. King, Philip W. Trinder:
  An operational semantics for parallel lazy evaluation. 162-173
  
• Levent Erkök, John Launchbury:
  Recursive monadic bindings. 174-185
  
• Ralf Hinze:
  Deriving backtracking monad transformers. 186-197
  
• Rowan Davies, Frank Pfenning:
  Intersection types and computational effects. 198-208
  
• Daniel Damian, Olivier Danvy:
  Syntactic accidents in program analysis: on the impact of the CPS transformation. 209-220
  
• Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce:
  Recursive subtyping revealed: functional pearl. 221-231
  
• Pierre-Louis Curien, Hugo Herbelin:
  The duality of computation. 233-243
  
• Carl-Johan H. Seger:
  Combining functional programming and hardware verification (abstract of invited talk). 244
  
• Manuel Serrano, Hans-Juergen Boehm:
  Understanding memory allocation of scheme programs. 245-256
  
• Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, R. Lyndon While:
  Non-stop Haskell. 257-267
  
• Koen Claessen, John Hughes:
  QuickCheck: a lightweight tool for random testing of Haskell programs. 268-279
  
• Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward:
  Composing contracts: an adventure in financial engineering, functional pearl. 280-292