Abstract is missing.
- A Modular, Polyvariant, and Type-Based Closure AnalysisAnindya Banerjee. 1-10
- Strongly Typed Flow-Directed Representation TransformationsAllyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells. 11-24
- Type-Driven DefunctionalizationJeffrey M. Bell, Françoise Bellegarde, James Hook. 25-37
- Systematic Realisation of Control Flow Analyses for CMLKirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson. 38-51
- Functional Programming with GraphsMartin Erwig. 52-65
- Catenable Double-Ended QueuesChris Okasaki. 66-74
- Statically Checkable Pattern AbstractionsManuel Fähndrich, John Boyland. 75-84
- Flexible Representation AnalysisZhong Shao. 85-98
- The Effectiveness of Flow Analysis for InliningJ. Michael Ashley. 99-111
- Lambda-Splitting: A Higher-Order Approach to Cross-Module OptimizationsMatthias Blume, Andrew W. Appel. 112-124
- A Practical Subtyping System For ErlangSimon Marlow, Philip Wadler. 136-149
- On the Complexity of Set-Based AnalysisNevin Heintze, David A. McAllester. 150-163
- Tupling Calculation Eliminates Multiple Data TraversalsZhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano. 164-175
- A Bounds Inference Method for Vector-Based MemoisationWei-Ngan Chin, Masami Hagiya. 176-187
- on Global Dynamics of Optimal Graph ReductionJulia L. Lawall, Harry G. Mairson. 188-195
- The Development of ErlangJoe L. Armstrong. 196-203
- Type Specialization for Imperative LanguagesDirk Dussart, John Hughes, Peter Thiemann. 204-216
- Compositional References for Stateful Functional ProgrammingKoji Kagawa. 217-226
- Monadic State: Axiomatization and Type SafetyJohn Launchbury, Amr Sabry. 227-238
- Structuring Graphical Paradigms in TkGoferKoen Claessen, Ton Vullinghs, Erik Meijer. 251-262
- Functional Reactive AnimationConal Elliott, Paul Hudak. 263-273
- Automatic Management of Operating System ResourcesOlin Shivers. 274-279
- Formal Models of Distributed Memory ManagementCristian Ungureanu, Benjamin Goldberg. 280-291
- The Measured Cost of Copying Garbage Collection MechanismsMichael W. Hicks, Jonathan T. Moore, Scott Nettles. 292-305
- A GUI on Top of a Functional LanguageKris Aerts, Karel De Vlaminck. 308
- Graphs in CompilationKoen Claessen. 309
- Disposable Memo Functions (Extended Abstract)Byron Cook, John Launchbury. 310
- Affordable Dynamic TypesChris Dornan. 311
- Functional Programming and Attribute Grammars DeforestationÉtienne Duris. 312
- Protien Folding meets Functional ProgrammingNatalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta. 313
- Modelling String Folding with G2L GrammarsNatalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta. 314
- A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing ConfluenceEero Lassila. 315
- BigTypes in MLBruce J. McAdam. 316
- Synthesis of Functions by Transformations and ConstraintsCristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide. 317
- Intensional Sets Using Explicit SubstitutionsGilles Richard, Frédéric Saubion, A. Tellez-Arenas. 318
- Simple Semantic Analysis Problems for Functional ProgramsViktor K. Sabelfeld, Andrei Sabelfeld. 319
- Distributed Programming, a Purely Functional ApproachEleni Spiliopoulou, Ian Holyer, Neil Davies. 320
- Multi-Stage ProgrammingWalid Taha, Tim Sheard. 321
- Lambda-Flow: A Parallel Functional Synchronous Dataflow LanguageGuilhem de Wailly. 322
- Inductive Synthesis of Recursive Functional Programs (Poster Abstract)Bjarte M. Østvold. 323