9. MPC 2008: Marseille, France

Philippe Audebaud, Christine Paulin-Mohring (Eds.): Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5133 Springer 2008, ISBN 978-3-540-70593-2 BibTeX

Ralf Hinze:
Exploiting Unique Fixed Points. 1
Electronic Edition (link) BibTeX
Barry Jay, Simon L. Peyton Jones:
Scrap Your Type Applications. 2-27
Electronic Edition (link) BibTeX
Greg Morrisett:
Programming with Effects in Coq. 28
Electronic Edition (link) BibTeX
Andreas Abel, Thierry Coquand, Peter Dybjer:
Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. 29-56
Electronic Edition (link) BibTeX
Roland Carl Backhouse:
The Capacity-CTorch Problem. 57-78
Electronic Edition (link) BibTeX
Roland Carl Backhouse, João F. Ferreira:
Recounting the Rationals: Twice!. 79-91
Electronic Edition (link) BibTeX
Richard S. Bird:
Zippy Tabulations of Recursive Functions. 92-109
Electronic Edition (link) BibTeX
Jeremy Gibbons:
Unfolding Abstract Datatypes. 110-133
Electronic Edition (link) BibTeX
Roland Glück, Bernhard Möller:
Circulations, Fuzzy Relations and Semirings. 134-152
Electronic Edition (link) BibTeX
William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter:
Asynchronous Exceptions as an Effect. 153-176
Electronic Edition (link) BibTeX
Dexter Kozen, Wei-Lung Dustin Tseng:
The Böhm-Jacopini Theorem Is False, Propositionally. 177-192
Electronic Edition (link) BibTeX
Ralf Lämmel, Ondrej Rypacek:
The Expression Lemma. 193-219
Electronic Edition (link) BibTeX
Ralph Matthes:
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. 220-242
Electronic Edition (link) BibTeX
Larissa Meinicke, Ian J. Hayes:
Probabilistic Choice in Refinement Algebra. 243-267
Electronic Edition (link) BibTeX
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson:
Algebra of Programming Using Dependent Types. 268-283
Electronic Edition (link) BibTeX
Susumu Nishimura:
Safe Modification of Pointer Programs in Refinement Calculus. 284-304
Electronic Edition (link) BibTeX
Yann Régis-Gianas, François Pottier:
A Hoare Logic for Call-by-Value Functional Programs. 305-335
Electronic Edition (link) BibTeX
Michel Sintzoff:
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. 336-359
Electronic Edition (link) BibTeX
Jules Desharnais, Georg Struth:
Modal Semirings Revisited. 360-387
Electronic Edition (link) BibTeX
Janis Voigtländer:
Asymptotic Improvement of Computations over Free Monads. 388-403
Electronic Edition (link) BibTeX
Andreas Witzel:
Symmetric and Synchronous Communication in Peer-to-Peer Networks. 404-421
Electronic Edition (link) BibTeX