Ninth International Conference on

Mathematics of Program Construction (MPC '08)

CIRM, Marseille (Luminy) , France, 15-18 July 2008


List of Accepted Papers

Richard Bird. Zippy Tabulations of Recursive Functions
Dexter Kozen and Wei-Lung (Dustin) Tseng. The Boehm-Jacopini Theorem is False, Propositionally
Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Derivation-Carrying Code using Dependent Types
Jeremy Gibbons. Unfolding Abstract Datatypes
Roland Backhouse and Joao Ferreira. Recounting the rationals: twice!
Susumu Nishimura. Safe Modification of Pointer Programs in Refinement Calculus
Roland Backhouse. The Capacity C Torch Problem
Michel Sintzoff. Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
Janis Voigtländer. Asymptotic Improvement of Monadic Computations
Francois Pottier and Yann Régis-Gianas. A Hoare Logic for Call-by-Value Functional Programs
Larissa Meinicke and Ian Hayes. Probabilistic Choice in Refinement Algebra
Andreas Abel, Thierry Coquand and Peter Dybjer. A Semantic beta-eta-Equality Algorithm for Martin-L"of Type Theory
Georg Struth and Jules Desharnais. Modal Semirings Revisited
Andreas Witzel. Symmetric and Synchronous Communication in Peer-to-Peer Networks
Ralph Matthes. Nested datatypes with generalized Mendler iteration: map fusion and the example of the representation of untyped lambda calculus with explicit flattening
Roland Glück and Bernhard Möller. Circulations, Semirings and Fuzzy Relations
William Harrison, Gerard Allwein, Andy Gill and Adam Procter. Asynchronous Exceptions as an Effect
Ralf Laemmel and Ondrej Rypacek. Sliced bananas on opaque data

Last modified: Mon Apr 7 13:08:01 CEST 2008 by local organizers, mpc08(at)