Programme

Apr
24		 9:00
--
10:00		 Invited Talk
Guy Steele Jr. (Sun Microsystems, Massachusetts, US)
10:30
--
12:00		 `Scrap Your Boilerplate' Reloaded
Ralf Hinze, Andres Loeh, Bruno C. d. S. Oliveira
Ruler: programming type rules
Atze Dijkstra, S. Doaitse Swierstra
A Framework for Extended Algebraic Data Type
Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
Lunch
14:00
--
15:00		 Lock Free Data Structures using STMs in Haskell
Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh
Type Checking Functional XML Programs without Type Annotation
Akihiko Tozawa
15:30
--
16:30		 A Computational Approach to Pocklington Certificates in Type Theory
Benjamin Gregoire, Laurent Thery, Benjamin Werner
Defining and Reasoning about Recursive Functions: a practical tool for the Coq proof assistant
Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
17:00
--
18:00		 Soutei, a Logic-Based Trust-Management System
Andrew Pimlott, Oleg Kiselyov
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
Amadeo Casas, Daniel Cabeza, Manuel Hermenegildo
20:00
--
 Demo Session
Kazunori Ueda (Waseda, Japan)
Atsushi Ohori (Tohoku, Japan)
Apr
25		 9:00
--
10:00		 Invited Talk
Peter Van Roy (Louvain, Belgium)
10:30
--
12:00		 Resource Analysis by Sup-interpretation
Romain Pechoux, Jean-Yves Marion
Lazy Set-Sharing Analysis
Xuan Li, Andy King, Lunjin Lu
Size-Change Termination and Bound Analysis
James Avery
Lunch
Excursion
Banquet
Apr
26		 9:00
--
10:00		 Typed Contracts for Functional Programming
Johan Jeuring, Ralf Hinze, Andres Loeh
Contracts as Pairs of Projections
Robby Findler, Matthias Blume
10:30
--
12:00		 iData for the World Wide Web: programming interconnected web forms
Rinus Plasmeijer, Peter Achten
Crossing State Lines: adapting object-oriented frameworks to functional reactive languages
Daniel Ignatoff, Gregory Cooper, Shriram Krishnamurthi
WASH Server Pages
Peter Thiemann