![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
12th MPC 2015: Königswinter, Germany
- Ralf Hinze, Janis Voigtländer:
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Lecture Notes in Computer Science 9129, Springer 2015, ISBN 978-3-319-19796-8 - Bernhard Möller, Tony Hoare:
Exploring an Interface Model for CKA. 1-29 - Stephan van Staden:
On Rely-Guarantee Reasoning. 30-49 - Rudolf Berghammer, Walter Guttmann
:
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. 50-70 - Patrick Roocks:
Preference Decomposition and the Expressiveness of Preference Query Languages. 71-92 - José Pedro Magalhães, Andres Löh
:
Hierarchy in Generic Programming Libraries. 93-112 - Dan Piponi, Brent A. Yorgey:
Polynomial Functors Constrained by Regular Expressions. 113-136 - Brijesh Dongol
, Victor B. F. Gomes, Georg Struth:
A Program Construction and Verification Tool for Separation Logic. 137-158 - Patrick Bahr
:
Calculating Certified Compilers for Non-deterministic Languages. 159-186 - Faris Abou-Saleh, James Cheney
, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. 187-214 - Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
:
A Clear Picture of Lens Laws - Functional Pearl. 215-223 - Julian Salamanca, Adolfo Ballester-Bolinches
, Marcello M. Bonsangue
, Enric Cosme-Llópez
, Jan J. M. M. Rutten:
Regular Varieties of Automata and Coequations. 224-237 - Rudolf Berghammer:
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. 238-256 - Conor McBride
:
Turing-Completeness Totally Free. 257-275 - Pepijn Kokke, Wouter Swierstra:
Auto in Agda - Programming Proof Search Using Reflection. 276-301 - Nicolas Wu
, Tom Schrijvers
:
Fusion for Free - Efficient Algebraic Effect Handlers. 302-322
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.