6. ICFP 2001: Firenze (Florence), Italy

Invited Talk 1

• Andrew M. Pitts: A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. 1 BibTeX

Session 1

• Matthew Fluet, Stephen Weeks: Contification Using Dominators. 2-13 BibTeX
• Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells: Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. 14-25 BibTeX
• Fabrice Le Fessant, Luc Maranget: Optimizing Pattern Matching. 26-37 BibTeX
• Matthias Neubauer, Michael Sperber: Down with Emacs Lisp: Dynamic Scope Analysis. 38-49 BibTeX

Session 2

• Claudio V. Russo: Recursive Structures for Standard ML. 50-61 BibTeX
• Dominic Duggan: Type-Based Hot Swapping of Running Modules. 62-73 BibTeX
• Steven E. Ganz, Amr Sabry, Walid Taha: Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. 74-85 BibTeX

Session 3

• Tim Sheard: Generic Unification via Two-Level Types and Parameterized Modules. 86-97 BibTeX
• Tyng-Ruey Chuang: Generic Validation of Structural Content with Parametric Modules. 98-109 BibTeX
• Ralf Hinze: A Simple Implementation Technique for Priority Search Queues. 110-121 BibTeX

Session 4

• Michael Sperber: Developing a Stage Lighting System from Scratch. 122-133 BibTeX
• Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: Charting Patterns on Price History. 134-145 BibTeX
• Zhanyong Wan, Walid Taha, Paul Hudak: Real-Time FRP. 146-156 BibTeX
• George Russell: Events in Haskell, and How to Implement Them. 157-168 BibTeX

Session 5

• Hongwei Xi, Robert Harper: A Dependently Typed Assembly Language. 169-180 BibTeX
• David Walker, Kevin Watkins: On Regions and Linear Types. 181-192 BibTeX
• Olaf Chitil: Compositional Explanation of Types and Algorithmic Debugging of Type Errors. 193-204 BibTeX

Session 6

• Manuel M. T. Chakravarty, Gabriele Keller: Functional Array Fusion. 205-216 BibTeX
• Aleksandar Nanevski, Guy E. Blelloch, Robert Harper: Automatic Generation of Staged Geometric Predicates. 217-228 BibTeX

Session 7

• Ross Paterson: A New Notation for Arrows. 229-240 BibTeX
• Matthias Zenger, Martin Odersky: Extensible Algebraic Datatypes with Defaults. 241-252 BibTeX
• Bernd Grobauer: Cost Recurrences for DML Programs. 253-264 BibTeX
• Jörgen Gustavsson, David Sands: Possibilities and Limitations of Call-by-Need Space Improvement. 265-276 BibTeX