| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ralf Hinze, Wouter Swierstra |
Calculating Datastructures.  |
MPC  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhixuan Yang, Nicolas Wu |
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Hewer, Graham Hutton |
Subtyping Without Reduction. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan McDermott, Tarmo Uustalu |
Flexibly Graded Monads and Graded Algebras. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya (eds.) |
Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niccolò Veltri, Niels F. W. Voorneveld |
Streams of Approximations, Equivalence of Recursive Effectful Programs. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu |
Breadth-First Traversal via Staging. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayumu Saito, Reynald Affeldt |
Towards a Practical Library for Monadic Equational Reasoning in Coq. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Nguyen, Nicolas Wu |
Folding over Neural Networks. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Stefan Wehr |
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. |
MPC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Florian Rabe 0001 |
How to Calculate with Nondeterministic Functions. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton (eds.) |
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Kaarsgaard, Niccolò Veltri |
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ambrus Kaposi, András Kovács, Nicolai Kraus |
Shallow Embedding of Type Theory is Morally Correct. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth |
Cylindric Kleene Lattices for Program Construction. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler |
Unraveling Recursion: Compiling an IR with Recursion to System F. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 |
Completeness and Incompleteness of Synchronous Kleene Algebra. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Stolarek, James Cheney |
Verified Self-Explaining Computation. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau |
Setoid Type Theory - A Syntactic Translation. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Larchey-Wendling, Ralph Matthes |
Certification of Breadth-First Algorithms by Extraction. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze |
Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Reynald Affeldt, David Nowak, Takafumi Saikawa |
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | James Chapman 0001, Roman Kireev, Chad Nester, Philip Wadler |
System F in Agda, for Fun and Profit. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu |
Handling Local State with Global State. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver |
Experiments in Information Flow Analysis. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Coding with Asymmetric Numeral Systems. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse |
An Analysis of Repeated Graph Search. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
Notions of Bidirectional Computation and Entangled State Monads. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Piponi, Brent A. Yorgey |
Polynomial Functors Constrained by Regular Expressions. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Victor B. F. Gomes, Georg Struth |
A Program Construction and Verification Tool for Separation Logic. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | José Pedro Magalhães, Andres Löh |
Hierarchy in Generic Programming Libraries. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Calculating Certified Compilers for Non-deterministic Languages. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Roocks |
Preference Decomposition and the Expressiveness of Preference Query Languages. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Wu, Tom Schrijvers |
Fusion for Free - Efficient Algebraic Effect Handlers. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Walter Guttmann |
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Tony Hoare |
Exploring an Interface Model for CKA. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Janis Voigtländer (eds.) |
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Fischer 0001, Zhenjiang Hu, Hugo Pacheco 0001 |
A Clear Picture of Lens Laws - Functional Pearl. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer |
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Conor McBride |
Turing-Completeness Totally Free. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Kokke, Wouter Swierstra |
Auto in Agda - Programming Proof Search Using Reflection. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden |
On Rely-Guarantee Reasoning. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten |
Regular Varieties of Automata and Coequations. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Lux, Heiko Mantel, Matthias Perner |
Scheduler-Independent Declassification. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Bahr |
Modular Tree Automata. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Hoare, Stephan van Staden |
The Laws of Programming Unify Process Calculi. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze |
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Paterson |
Constructing Applicative Functors. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Armstrong, Simon Foster 0001, Georg Struth |
Dependently Typed Programming Based on Automated Theorem Proving. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse |
First-Past-the-Post Games. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Ian J. Hayes |
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Mandel, Florence Plateau |
Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Han-Hing Dang, Bernhard Möller |
Reverse Exchange for Concurrency and Local Reasoning. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann |
Unifying Correctness Statements. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin |
Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Möller, Patrick Roocks, Markus Endres |
An Algebraic Calculus of Database Preferences. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
The Geometry of Synthesis - How to Make Hardware Out of Software. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Pablo Nogueira (eds.) |
Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carroll Morgan |
Elementary Probability Theory in the Eindhoven Style. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Sergey, Jan Midtgaard, Dave Clarke 0001 |
Calculating Graph Algorithms for Dominance and Shortest Path. |
MPC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Kosiuczenko |
An Abstract Machine for the Old Value Retrieval. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Brink, Stefan Holdermans, Andres Löh |
Dependently Typed Grammars. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Pacheco 0001, Alcino Cunha |
Generic Point-free Lenses. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. Ferreira 0001 |
Designing an Algorithmic Proof of the Two-Squares Theorem. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Steve Dunne, Larissa Meinicke |
Unifying Theories of Programming That Distinguish Nontermination and Abort. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Milad Niqui, Jan J. M. M. Rutten |
Sampling, Splitting and Merging in Coinductive Stream Calculus. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Daniel Macedo, José Nuno Oliveira |
Matrices as Arrows! |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol, Ian J. Hayes |
Compositional Action System Derivation Using Enforced Properties. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Anders Danielsson, Thorsten Altenkirch |
Subtyping, Declaratively. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann |
Partial, Total and General Correctness. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi |
Compositionality of Secure Information Flow. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Formal Derivation of Concurrent Garbage Collectors. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit |
A Tracking Semantics for CSP. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze |
Adjoint Folds and Unfolds. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston |
Process Algebras for Collective Dynamics. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Wang 0002, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
Gradual Refinement. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Dan Grundy |
The Logic of Large Enough. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Georg Struth |
On Automated Program Construction and Verification. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Mandel, Florence Plateau, Marc Pouzet |
Lucy-n: a n-Synchronous Extension of Lustre. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Bolduc, Josée Desharnais, Béchir Ktari (eds.) |
Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Chen, Jeff W. Sanders |
Abstraction of Object Graphs in Program Verification. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse, Wei Chen 0023, João F. Ferreira 0001 |
The Algorithmics of Solitaire-Like Games. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif |
Temporal Logic Verification of Lock-Freedom. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Glück, Bernhard Möller |
Circulations, Fuzzy Relations and Semirings. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Witzel |
Symmetric and Synchronous Communication in Peer-to-Peer Networks. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze |
Exploiting Unique Fixed Points. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Sintzoff |
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Desharnais, Georg Struth |
Modal Semirings Revisited. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse, João F. Ferreira 0001 |
Recounting the Rationals: Twice!. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
Calkin-Wilf tree, Stern-Brocot tree, algorithm derivation, rational numbers, enumeration algorithm |
| 1 | Ralf Lämmel, Ondrej Rypacek |
The Expression Lemma. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
expression lemma, functional object, the composite design pattern, free monad, cofree comonad, fold, program calculation, expression problem, distributive law, catamorphism |
| 1 | Barry Jay, Simon L. Peyton Jones |
Scrap Your Type Applications. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Audebaud, Christine Paulin-Mohring (eds.) |
Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel 0001, Thierry Coquand, Peter Dybjer |
Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Matthes |
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse |
The Capacity-CTorch Problem. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
algorithm derivation, algorithmic problem solving, dynamic programming, shortest path |
| 1 | Jeremy Gibbons |
Unfolding Abstract Datatypes. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Susumu Nishimura |
Safe Modification of Pointer Programs in Refinement Calculus. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Régis-Gianas, François Pottier |
A Hoare Logic for Call-by-Value Functional Programs. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson |
Algebra of Programming Using Dependent Types. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license