7. ICFP 2002: Pittsburgh, Pennsylvania, USA

• Brad A. Myers:
  Towards more natural functional programming languages. 1
  Electronic Edition (ACM DL) BibTeX
• Ralf Hinze:
  Bootstrapping one-sided flexible arrays. 2-13
  Electronic Edition (ACM DL) BibTeX
• Janis Voigtländer:
  Concatenate, reverse and map vanish for free. 14-25
  Electronic Edition (ACM DL) BibTeX
• Magnus Carlsson:
  Monads for incremental computing. 26-35
  Electronic Edition (ACM DL) BibTeX
• Bryan Ford:
  Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. 36-47
  Electronic Edition (ACM DL) BibTeX
• Robert Bruce Findler, Matthias Felleisen:
  Contracts for higher-order functions. 48-59
  Electronic Edition (ACM DL) BibTeX
• Atsushi Ohori, Kiyoshi Yamatodani:
  An interoperable calculus for external object access. 60-71
  Electronic Edition (ACM DL) BibTeX
• Matthew Flatt:
  Composable and compilable macros: : you want it when? 72-83
  Electronic Edition (ACM DL) BibTeX
• Danny Dubé, Marc Feeley:
  A demand-driven adaptive type analysis. 84-97
  Electronic Edition (ACM DL) BibTeX
• Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
  Exception analysis for non-strict languages. 98-109
  Electronic Edition (ACM DL) BibTeX
• Todd D. Millstein, Colin Bleckner, Craig Chambers:
  Modular typechecking for hierarchically extensible datatypes and functions. 110-122
  Electronic Edition (ACM DL) BibTeX
• J. Strother Moore:
  Functional formal methods. 123
  Electronic Edition (ACM DL) BibTeX
• Josef Svenningsson:
  Shortcut fusion for accumulating parameters & zip-like functions. 124-132
  Electronic Edition (ACM DL) BibTeX
• Christoph Lüth, Neil Ghani:
  Composing monads using coproducts. 133-144
  Electronic Edition (ACM DL) BibTeX
• Keith Hanna:
  Interactive visual functional programming. 145-156
  Electronic Edition (ACM DL) BibTeX
• Arthur I. Baars, S. Doaitse Swierstra:
  Typing dynamic typing. 157-166
  Electronic Edition (ACM DL) BibTeX
• Peter J. Stuckey, Martin Sulzmann:
  A theory of overloading. 167-178
  Electronic Edition (ACM DL) BibTeX
• Matthias Neubauer, Peter Thiemann:
  Type classes with more higher-order polymorphism. 179-190
  Electronic Edition (ACM DL) BibTeX
• Karl Crary, Joseph Vanderwaart:
  An expressive, scalable type theory for certified code. 191-205
  Electronic Edition (ACM DL) BibTeX
• Aleksandar Nanevski:
  Meta-programming with names and necessity. 206-217
  Electronic Edition (ACM DL) BibTeX
• Emir Pasalic, Walid Taha, Tim Sheard:
  Tagless staged interpreters for typed languages. 218-229
  Electronic Edition (ACM DL) BibTeX
• Olivier Danvy, Mayer Goldberg:
  There and back again. 230-234
  Electronic Edition (ACM DL) BibTeX
• Benjamin Grégoire, Xavier Leroy:
  A compiled implementation of strong reduction. 235-246
  Electronic Edition (ACM DL) BibTeX
• Lars Thomas Hansen, William D. Clinger:
  An experimental study of renewal-older-first garbage collection. 247-258
  Electronic Edition (ACM DL) BibTeX
• Bernard P. Serpette, Manuel Serrano:
  Compiling scheme to JVM bytecode: : a performance study. 259-270
  Electronic Edition (ACM DL) BibTeX
• Martin Gasbichler, Michael Sperber:
  Final shift for call/cc: : direct implementation of shift and reset. 271-282
  Electronic Edition (ACM DL) BibTeX
• Neil D. Jones, Arne J. Glenstrup:
  Program generation, termination, and binding-time analysis. 283
  Electronic Edition (ACM DL) BibTeX