default search action

combined dblp search
author search
venue search
publication search

ask others

12th MPC 2015: Königswinter, Germany

> 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2015
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
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MollerH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MollerH15
Bernhard Möller, Tony Hoare:
Exploring an Interface Model for CKA. 1-29
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Staden15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Staden15
Stephan van Staden:
On Rely-Guarantee Reasoning. 30-49
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/BerghammerG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/BerghammerG15
Rudolf Berghammer, Walter Guttmann:
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. 50-70
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Roocks15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Roocks15
Patrick Roocks:
Preference Decomposition and the Expressiveness of Preference Query Languages. 71-92
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MagalhaesL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MagalhaesL15
José Pedro Magalhães, Andres Löh:
Hierarchy in Generic Programming Libraries. 93-112
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/PiponiY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/PiponiY15
Dan Piponi, Brent A. Yorgey:
Polynomial Functors Constrained by Regular Expressions. 113-136
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/DongolGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DongolGS15
Brijesh Dongol, Victor B. F. Gomes, Georg Struth:
A Program Construction and Verification Tool for Separation Logic. 137-158
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Bahr15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Bahr15
Patrick Bahr:
Calculating Certified Compilers for Non-deterministic Languages. 159-186
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Abou-SalehCGMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens:
Notions of Bidirectional Computation and Entangled State Monads. 187-214
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/FischerHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/FischerHP15
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco:
A Clear Picture of Lens Laws - Functional Pearl. 215-223
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SalamancaBBCR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SalamancaBBCR15
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
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Berghammer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Berghammer15
Rudolf Berghammer:
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. 238-256
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/McBride15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/McBride15
Conor McBride:
Turing-Completeness Totally Free. 257-275
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/KokkeS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/KokkeS15
Pepijn Kokke, Wouter Swierstra:
Auto in Agda - Programming Proof Search Using Reflection. 276-301
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/WuS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/WuS15
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.