Search dblp for Publications

export results for "toc:db/conf/mpc/mpc2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15,
  author       = {Faris Abou{-}Saleh and
                  James Cheney and
                  Jeremy Gibbons and
                  James McKinna and
                  Perdita Stevens},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Notions of Bidirectional Computation and Entangled State Monads},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {187--214},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_9},
  doi          = {10.1007/978-3-319-19797-5\_9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Bahr15,
  author       = {Patrick Bahr},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Calculating Certified Compilers for Non-deterministic Languages},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {159--186},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_8},
  doi          = {10.1007/978-3-319-19797-5\_8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/Bahr15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Berghammer15,
  author       = {Rudolf Berghammer},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Column-Wise Extendible Vector Expressions and the Relational Computation
                  of Sets of Sets},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {238--256},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_12},
  doi          = {10.1007/978-3-319-19797-5\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Berghammer15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/BerghammerG15,
  author       = {Rudolf Berghammer and
                  Walter Guttmann},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Relation-Algebraic Approach to Multirelations and Predicate Transformers},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {50--70},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_3},
  doi          = {10.1007/978-3-319-19797-5\_3},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/BerghammerG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/DongolGS15,
  author       = {Brijesh Dongol and
                  Victor B. F. Gomes and
                  Georg Struth},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Program Construction and Verification Tool for Separation Logic},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {137--158},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_7},
  doi          = {10.1007/978-3-319-19797-5\_7},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/DongolGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/FischerHP15,
  author       = {Sebastian Fischer and
                  Zhenjiang Hu and
                  Hugo Pacheco},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Clear Picture of Lens Laws - Functional Pearl},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {215--223},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_10},
  doi          = {10.1007/978-3-319-19797-5\_10},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/FischerHP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/KokkeS15,
  author       = {Pepijn Kokke and
                  Wouter Swierstra},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Auto in Agda - Programming Proof Search Using Reflection},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {276--301},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_14},
  doi          = {10.1007/978-3-319-19797-5\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/KokkeS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MagalhaesL15,
  author       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Andres L{\"{o}}h},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Hierarchy in Generic Programming Libraries},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {93--112},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_5},
  doi          = {10.1007/978-3-319-19797-5\_5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/MagalhaesL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/McBride15,
  author       = {Conor McBride},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Turing-Completeness Totally Free},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {257--275},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_13},
  doi          = {10.1007/978-3-319-19797-5\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/McBride15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/MollerH15,
  author       = {Bernhard M{\"{o}}ller and
                  Tony Hoare},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Exploring an Interface Model for {CKA}},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {1--29},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_1},
  doi          = {10.1007/978-3-319-19797-5\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/MollerH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/PiponiY15,
  author       = {Dan Piponi and
                  Brent A. Yorgey},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Polynomial Functors Constrained by Regular Expressions},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {113--136},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_6},
  doi          = {10.1007/978-3-319-19797-5\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/PiponiY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Roocks15,
  author       = {Patrick Roocks},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Preference Decomposition and the Expressiveness of Preference Query
                  Languages},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {71--92},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_4},
  doi          = {10.1007/978-3-319-19797-5\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Roocks15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/SalamancaBBCR15,
  author       = {Julian Salamanca and
                  Adolfo Ballester{-}Bolinches and
                  Marcello M. Bonsangue and
                  Enric Cosme{-}Ll{\'{o}}pez and
                  Jan J. M. M. Rutten},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Regular Varieties of Automata and Coequations},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {224--237},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_11},
  doi          = {10.1007/978-3-319-19797-5\_11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/SalamancaBBCR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/Staden15,
  author       = {Stephan van Staden},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {On Rely-Guarantee Reasoning},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {30--49},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_2},
  doi          = {10.1007/978-3-319-19797-5\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/Staden15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/WuS15,
  author       = {Nicolas Wu and
                  Tom Schrijvers},
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Fusion for Free - Efficient Algebraic Effect Handlers},
  booktitle    = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  pages        = {302--322},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5\_15},
  doi          = {10.1007/978-3-319-19797-5\_15},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/WuS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mpc/2015,
  editor       = {Ralf Hinze and
                  Janis Voigtl{\"{a}}nder},
  title        = {Mathematics of Program Construction - 12th International Conference,
                  {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9129},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19797-5},
  doi          = {10.1007/978-3-319-19797-5},
  isbn         = {978-3-319-19796-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.