default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mpc/mpc2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/mpc/AbelCD08,
author = {Andreas Abel and
Thierry Coquand and
Peter Dybjer},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Verifying a Semantic beta-eta-Conversion Test for Martin-L{\"{o}}f
Type Theory},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {29--56},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_4},
doi = {10.1007/978-3-540-70594-9\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AbelCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Backhouse08,
author = {Roland Carl Backhouse},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The Capacity-CTorch Problem},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {57--78},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_5},
doi = {10.1007/978-3-540-70594-9\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Backhouse08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackhouseF08,
author = {Roland Carl Backhouse and
Jo{\~{a}}o F. Ferreira},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Recounting the Rationals: Twice!},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {79--91},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_6},
doi = {10.1007/978-3-540-70594-9\_6},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/BackhouseF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Bird08,
author = {Richard S. Bird},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Zippy Tabulations of Recursive Functions},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {92--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_7},
doi = {10.1007/978-3-540-70594-9\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Bird08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/DesharnaisS08,
author = {Jules Desharnais and
Georg Struth},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Modal Semirings Revisited},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {360--387},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_19},
doi = {10.1007/978-3-540-70594-9\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/DesharnaisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Gibbons08,
author = {Jeremy Gibbons},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Unfolding Abstract Datatypes},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {110--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_8},
doi = {10.1007/978-3-540-70594-9\_8},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Gibbons08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GluckM08,
author = {Roland Gl{\"{u}}ck and
Bernhard M{\"{o}}ller},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Circulations, Fuzzy Relations and Semirings},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {134--152},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_9},
doi = {10.1007/978-3-540-70594-9\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GluckM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HarrisonAGP08,
author = {William L. Harrison and
Gerard Allwein and
Andy Gill and
Adam M. Procter},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Asynchronous Exceptions as an Effect},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {153--176},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_10},
doi = {10.1007/978-3-540-70594-9\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/HarrisonAGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Hinze08,
author = {Ralf Hinze},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Exploiting Unique Fixed Points},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_1},
doi = {10.1007/978-3-540-70594-9\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Hinze08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JayJ08,
author = {Barry Jay and
Simon L. Peyton Jones},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Scrap Your Type Applications},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {2--27},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_2},
doi = {10.1007/978-3-540-70594-9\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/JayJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/KozenT08,
author = {Dexter Kozen and
Wei{-}Lung Dustin Tseng},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The B{\"{o}}hm-Jacopini Theorem Is False, Propositionally},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {177--192},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_11},
doi = {10.1007/978-3-540-70594-9\_11},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/KozenT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LammelR08,
author = {Ralf L{\"{a}}mmel and
Ondrej Rypacek},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {The Expression Lemma},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {193--219},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_12},
doi = {10.1007/978-3-540-70594-9\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/LammelR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Matthes08,
author = {Ralph Matthes},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Nested Datatypes with Generalized Mendler Iteration: Map Fusion and
the Example of the Representation of Untyped Lambda Calculus with
Explicit Flattening},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {220--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_13},
doi = {10.1007/978-3-540-70594-9\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Matthes08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MeinickeH08,
author = {Larissa Meinicke and
Ian J. Hayes},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Probabilistic Choice in Refinement Algebra},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {243--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_14},
doi = {10.1007/978-3-540-70594-9\_14},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MeinickeH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Morrisett08,
author = {Greg Morrisett},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Programming with Effects in Coq},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {28},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_3},
doi = {10.1007/978-3-540-70594-9\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Morrisett08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MuKJ08,
author = {Shin{-}Cheng Mu and
Hsiang{-}Shang Ko and
Patrik Jansson},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Algebra of Programming Using Dependent Types},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {268--283},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_15},
doi = {10.1007/978-3-540-70594-9\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/MuKJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Nishimura08,
author = {Susumu Nishimura},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Safe Modification of Pointer Programs in Refinement Calculus},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {284--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_16},
doi = {10.1007/978-3-540-70594-9\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Nishimura08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Regis-GianasP08,
author = {Yann R{\'{e}}gis{-}Gianas and
Fran{\c{c}}ois Pottier},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {A Hoare Logic for Call-by-Value Functional Programs},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {305--335},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_17},
doi = {10.1007/978-3-540-70594-9\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Regis-GianasP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Sintzoff08,
author = {Michel Sintzoff},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Synthesis of Optimal Control Policies for Some Infinite-State Transition
Systems},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {336--359},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_18},
doi = {10.1007/978-3-540-70594-9\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Sintzoff08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Voigtlander08,
author = {Janis Voigtl{\"{a}}nder},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Asymptotic Improvement of Computations over Free Monads},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {388--403},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_20},
doi = {10.1007/978-3-540-70594-9\_20},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Voigtlander08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Witzel08,
author = {Andreas Witzel},
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Symmetric and Synchronous Communication in Peer-to-Peer Networks},
booktitle = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
pages = {404--421},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9\_21},
doi = {10.1007/978-3-540-70594-9\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Witzel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2008,
editor = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Mathematics of Program Construction, 9th International Conference,
{MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70594-9},
doi = {10.1007/978-3-540-70594-9},
isbn = {978-3-540-70593-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-21 19:17 CEST from data curated 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
