Ninth International Conference on

# Mathematics of Program Construction (MPC '08)

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

### URL: http://mpc08.lri.fr/

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)lri.fr