6. ICFP 2001: Firenze (Florence), Italy

Benjamin C. Pierce (Ed.): Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001. ACM 2001, ISBN 1-58113-415-0

- SIGPLAN Notices 36(10), October 2001

Invited Talk 1

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

Session 1

Matthew Fluet, Stephen Weeks:
Contification Using Dominators. 2-13
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
Fabrice Le Fessant, Luc Maranget:
Optimizing Pattern Matching. 26-37
Matthias Neubauer, Michael Sperber:
Down with Emacs Lisp: Dynamic Scope Analysis. 38-49

Session 2

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

Session 3

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

Session 4

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

Session 5

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

Session 6

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

Session 7

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

Last update Sat May 18 18:44:52 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page