ICFP 2001

24 papers

1. A Dependently Typed Assembly Language · Hongwei Xi, Robert Harper
2. A Fresh Approach to Representing Syntax with Static Binders in Functional Programming · Andrew M. Pitts
3. A New Notation for Arrows · Ross Paterson
4. A Simple Implementation Technique for Priority Search Queues · Ralf Hinze
5. Automatic Generation of Staged Geometric Predicates · Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
6. Charting Patterns on Price History · Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
7. Compositional Explanation of Types and Algorithmic Debugging of Type Errors · Olaf Chitil
8. Contification Using Dominators · Matthew Fluet, Stephen Weeks
9. Cost Recurrences for DML Programs · Bernd Grobauer
10. Developing a Stage Lighting System from Scratch · Michael Sperber
11. Down with Emacs Lisp: Dynamic Scope Analysis · Matthias Neubauer, Michael Sperber
12. Events in Haskell, and How to Implement Them · George Russell
13. Extensible Algebraic Datatypes with Defaults · Matthias Zenger, Martin Odersky
14. Functional Array Fusion · Manuel M. T. Chakravarty, Gabriele Keller
15. Functioning without Closure: Type-Safe Customized Function Representations for Standard ML · Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
16. Generic Unification via Two-Level Types and Parameterized Modules · Tim Sheard
17. Generic Validation of Structural Content with Parametric Modules · Tyng-Ruey Chuang
18. Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML · Steven E. Ganz, Amr Sabry, Walid Taha
19. On Regions and Linear Types · David Walker, Kevin Watkins
20. Optimizing Pattern Matching · Fabrice Le Fessant, Luc Maranget
21. Possibilities and Limitations of Call-by-Need Space Improvement · Jörgen Gustavsson, David Sands
22. Real-Time FRP · Zhanyong Wan, Walid Taha, Paul Hudak
23. Recursive Structures for Standard ML · Claudio V. Russo
24. Type-Based Hot Swapping of Running Modules · Dominic Duggan