[TYPES] ICFP 2005 - Accepted papers

[Benjamin Pierce]

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