default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th 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
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 2024-09-13 00:29 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
