default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ICFP 2001: Firenze (Florence), Italy
- Benjamin C. Pierce:
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 12:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
