Benjamin C. Pierce
Proceedings of the Sixth International Conference on Functional Programming
ICFP, 2001.
@proceedings{ICFP-2001,
address = "Florence), Italy",
editor = "Benjamin C. Pierce",
isbn = "1-58113-415-0",
publisher = "{ACM}",
title = "{Proceedings of the Sixth International Conference on Functional Programming}",
volume = "SIGPLAN Notices 36(10), October 2001",
year = 2001,
}
Contents (24 items)
- ICFP-2001-Pitts #approach #functional #programming #representation #syntax
- A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
- ICFP-2001-FluetW #using
- Contification Using Dominators (MF, SW), pp. 2–13.
- ICFP-2001-DimockWMTW #ml #standard #type safety
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.
- ICFP-2001-FessantM #optimisation #pattern matching
- Optimizing Pattern Matching (FLF, LM), pp. 26–37.
- ICFP-2001-NeubauerS #analysis #emacs #lisp
- Down with Emacs Lisp: Dynamic Scope Analysis (MN, MS), pp. 38–49.
- ICFP-2001-Russo #ml #recursion #standard
- Recursive Structures for Standard ML (CVR), pp. 50–61.
- ICFP-2001-Duggan #type system
- Type-Based Hot Swapping of Running Modules (DD), pp. 62–73.
- ICFP-2001-GanzST #generative #metaprogramming #multi #type safety
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (SEG, AS, WT), pp. 74–85.
- ICFP-2001-Sheard #unification
- Generic Unification via Two-Level Types and Parameterized Modules (TS), pp. 86–97.
- ICFP-2001-Chuang #parametricity #validation
- Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.
- ICFP-2001-Hinze #implementation
- A Simple Implementation Technique for Priority Search Queues (RH), pp. 110–121.
- ICFP-2001-Sperber
- Developing a Stage Lighting System from Scratch (MS), pp. 122–133.
- ICFP-2001-AnandCK
- Charting Patterns on Price History (SA, WNC, SCK), pp. 134–145.
- ICFP-2001-WanTH #realtime
- Real-Time FRP (ZW, WT, PH), pp. 146–156.
- ICFP-2001-Russell #haskell #how
- Events in Haskell, and How to Implement Them (GR), pp. 157–168.
- ICFP-2001-XiH #assembly
- A Dependently Typed Assembly Language (HX, RH), pp. 169–180.
- ICFP-2001-WalkerW #linear #on the
- On Regions and Linear Types (DW, KW), pp. 181–192.
- ICFP-2001-Chitil #algorithm #composition #debugging #fault
- Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.
- ICFP-2001-ChakravartyK #array #functional
- Functional Array Fusion (MMTC, GK), pp. 205–216.
- ICFP-2001-NanevskiBH #automation #generative #geometry #staged
- Automatic Generation of Staged Geometric Predicates (AN, GEB, RH), pp. 217–228.
- ICFP-2001-Paterson
- A New Notation for Arrows (RP), pp. 229–240.
- ICFP-2001-ZengerO #algebra #data type
- Extensible Algebraic Datatypes with Defaults (MZ, MO), pp. 241–252.
- ICFP-2001-Grobauer #source code
- Cost Recurrences for DML Programs (BG), pp. 253–264.
- ICFP-2001-GustavssonS #call-by
- Possibilities and Limitations of Call-by-Need Space Improvement (JG, DS), pp. 265–276.
