External Links

Cite Key

Statistics

  • Reviews: 0
  • Bibliographies: 0

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Philippe Audebaud, Christine Paulin-Mohring, editors, Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Volume 5133 of Lecture Notes in Computer Science, Springer, 2008.

Conference: mpc 2008

Abstract

Abstract is missing.

Table of Contents

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