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