PPDP’06 Program 

Monday  10 July


9:15 –  9:30

Conference Opening

9:30 – 10:00

Design Patterns 


Combining Fuzzy Logic and Behavioral Similarity for Non-Strict Program Validation

Coen De Roover, Johan Brichau and Theo D'Hondt

10:00 – 10:30

Coffee Break

10:30 – 12:30

Net Technologies 





Type-Oriented Construction of Web User Interfaces

Michael Hanus

An Abductive Framework for A-Priori Verification of Web Services

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Marco Montali

An Efficient Algorithm for XML Type Projection

Dario Colazzo and Carlo Sartiani

BASS: Boxed Ambients with Safe Sessions

Adriana Compagnoni, Mariangiola Dezani-Ciancaglini and Pablo Garralda

12.30 14:30


14:30 – 16:00

Invited Talk 


Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs

16:00 – 16:30

Coffee Break

16:30 – 18:00





Type Inference for Spreadsheets

Robin Abraham and Martin Erwig

Polymorphic Algebraic Data Type Reconstruction

Tom Schrijvers and Maurice Bruynooghe

Extracting Programs from Type Class Proofs

Martin Sulzmann


Tuesday  11 July


9:00 – 10:00

Invited Tutorial 


Thom Frühwirth: 
Constraint Handling Rules - The Story So Far

10:00 – 10:30

Coffee Break

10:30 – 12:30

Language Issues 





Rewriting Term-Graphs with Priority

Rachid Echahed, Ricardo Caferra and Nicolas Peltier

Computing constructor forms with non terminating rewrite programs

Isabelle Gnaedig and Helene Kirchner

Open data types and open functions

Andres Löh and Ralf Hinze

Inferring Dynamic Credentials for Rôle-based Trust Management

Daniele Gorla, Matthew Hennessy and Vladimiro Sassone

12.30 14:30


14:30 – 16:00

Analysis and Debugging 




Combining Algorithmic Debugging and Program Slicing

Josep Silva and Olaf Chitil

Practical Subtype Inference Based on Success Typings

Tobias Lindahl and Konstantinos Sagonas

Collection analysis for Horn clause programs

Dale Miller

16:00 – 16:30

Coffee Break

16:30 – 18:00

Meta-level Reasoning 




One-and-a-halfth-order logic

Murdoch Gabbay and Aad Mathijssen

A Modal Type System for Multi-Level Generating Extensions with Persistent Code

Yosihiro Yuse and Atsushi Igarashi

A Historic Functional and Object-Oriented Calculus

Maribel Fernandez and Fabien Fleutot


Wednesday  12 July


9:00 – 10:00

Invited Talk 


Simon Peyton Jones:
Composable memory transactions

10:00 – 10:30

Coffee Break

10:30 – 12:30






Condate: A Proto-language at the Confluence Between Checking and Compiling

Nic Volanschi

Compiling ML Polymorphism with Explicit Layout Bitmap

Huu-Duc Nguyen and Atsushi Ohori

A Type System Equivalent to Static Single Assignment

Yutaka Matsuno and Atsushi Ohori

Poly-Controlled Partial Deduction

Germán Puebla and Claudio Ochoa