ICFP 2005 Programme
Monday, September 26
9:00 - 10:30
Invited talk
by François Pottier
The anatomy of a loop: A story of scope and control
by Olin Shivers
11:00 - 12:30
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
An expressive language of signatures
by Norman Ramsey, Kathleen Fisher and Paul Govereau
Recursive type generativity
by Derek Dreyer
14:30 - 16:00
Dynamic optimization for functional reactive programming using
generalized algebraic data types
by Henrik Nilsson
Combining programming with theorem proving
by Chiyan Chen and Hongwei Xi
A step-indexed model of substructural state
by Amal Ahmed, Matthew Fluet and Greg Morrisett
16:30 - 18:00
AtomCaml: First-class atomicity via rollback
by Michael F. Ringenburg and Dan Grossman
Witnessing side-effects
by Tachio Terauchi and Alex Aiken
A principled approach to operating system construction in Haskell
by Thomas Hallgren, Mark P. Jones, Rebekah Leslie and Andrew Tolmach
18:00 - 18:30
Business meeting and PC chair's report
Tuesday, September 27
9:00 - 10:30
Invited talk
by Brendan Eich
Exploring partial type inference for predicative fragments of System-F
by Didier Rémy
11:00 - 12:30
Qualified types for MLF
by Daan Leijen and Andres Loeh
Type inference, principal typings, and let-polymorphism for
first-class mixin modules
by Henning Makholm and J. B. Wells
High-level views on low-level representations
by Iavor Diatchki, Mark P. Jones and Rebekah Leslie
14:30 - 16:00
Scrap your nameplate (Functional pearl)
by James Cheney
Backtracking, interleaving, and terminating monad transformers
(Functional pearl)
by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman and Amr Sabry
Scrap your boilerplate with class: extensible generic functions
by Ralf Laemmel and Simon Peyton Jones
16:30 - 18:15
Continuations from Generalized Stack Inspection
by Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi
and Matthias Felleisen
Fast narrowing-driven partial evaluation for inductively sequential
programs
by J. Guadalupe Ramos, Josep Silva and German Vidal
Programming contest report
by Eli Barzilay, Matthias Blume, Maurice Codik, Matthias Felleisen,
Robby Findler, Matthew Flatt, Jacob Matthews, Jay McCarthy, Scott Owens,
David Press, Mike Rainey, John Reppy, John Riehl, Jono Spiro, Dave
Tucker and Adam Wick
Wednesday, September 28
9:00 - 10:30
Invited talk
by Robert Harper
Associated type synonyms
by Manuel M. T. Chakravarty, Gabriele Keller and Simon Peyton Jones
11:00 - 12:30
Modular verification of concurrent assembly code with dynamic thread
creation and termination
by Xinyu Feng and Zhong Shao
A language-based approach to functionally correct imperative
programming
by Edwin Westbrook, Aaron Stump and Ian Wehrman
A logical analysis of aliasing in imperative higher-order functions
by Martin Berger, Kohei Honda and Nobuko Yoshida
14:30 - 16:00
Monadic augment and generalised short cut fusion
by Neil Ghani, Patricia Johann, Tarmo Uustalu and Varmo Vene
PolyAML: A polymorphic aspect-oriented functional programmming
language
by Daniel S. Dantas, David Walker, Geoffrey Washburn and Stephanie
Weirich
Aspectual Caml: An aspect-oriented functional language
by Hideaki Tatsuzawa, Hidehiko Masuhara and Akinori Yonezawa