default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th MPC 2008: Marseille, France
- Philippe Audebaud, Christine Paulin-Mohring:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 00:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
