![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.