The following papers will be presented at the 2005 International Conference on Functional Programming, in Tallinn, Estonia, September 26-28, 2005. For more information: http://www.brics.dk/~danvy/icfp05 Hope to see you there! - Benjamin Pierce ICFP '05 program chair ------------------------------------------------------------------------ ------------- Dynamic Optimization for Functional Reactive Programming using Generalized Algebraic Data Types by Henrik Nilsson Acute: high-level programming language design for distributed computation by Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, and Viktor Vafeiadis Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs by J. Guadalupe Ramos, Josep Silva, German Vidal Monadic Augment and Generalised Short Cut Fusion by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene A Logical Analysis of Aliasing in Imperative Higher-Order Functions by Martin Berger, Kohei Honda and Nobuko Yoshida An Expressive Language of Signatures by Norman Ramsey, Kathleen Fisher, and Paul Govereau Aspectual Caml: an Aspect-Oriented Functional Language by Hideaki Tatsuzawa, Hidehiko Masuhara and Akinori Yonezawa Witnessing Side-effects by Tachio Terauchi and Alex Aiken Recursive Type Generativity by Derek Dreyer Backtracking, Interleving, and Terminating Monad Transformers (Functional Pearl) by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry Scrap your Nameplate (Functional Pearl) by James Cheney Qualified types for MLF by Daan Leijen and Andres Loeh PolyAML: A polymorphic aspect-oriented functional programmming language by Daniel S. Dantas, David Walker, Geoffrey Washburn and Stephanie Weirich A Principled Approach to Operating System Construction in Haskell by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination by Xinyu Feng and Zhong Shao Associated Type Synonyms by Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones AtomCaml: First-Class Atomicity via Rollback by Michael F. Ringenburg and Dan Grossman Combining Programming with Theorem Proving by Chiyan Chen and Hongwei Xi A Language-based Approach to Functionally Correct Imperative Programming by Edwin Westbrook, Aaron Stump, Ian Wehrman Continuations from Lightweight Stack Inspection or, Passing on Continuation-Passing by Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen The anatomy of a loop: A story of scope and control by Olin Shivers High-level Views on Low-level Representations by Iavor Diatchki Mark P. Jones Rebekah Leslie A Step-Indexed Model of Substructural State by Amal Ahmed, Matthew Fluet, Greg Morrisett Scrap your boilerplate with class: extensible generic functions by Ralf Laemmel, Simon Peyton Jones Exploring partial type inference for Predicative fragments of System-F by Didier Remy Type Inference, Principal Typings, and Let-Polymorphism for First-Class Mixin Modules by Henning Makholm and J. B. Wells