MPC - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 293

2022

Breadth-First Traversal via StagingJeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu. mpc 2022: 1-33 [doi]

Subtyping Without ReductionBrandon Hewer, Graham Hutton. mpc 2022: 34-61 [doi]

Calculating DatastructuresRalf Hinze, Wouter Swierstra. mpc 2022: 62-101 [doi]

Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, ProceedingsEkaterina Komendantskaya, editor, Volume 13544 of Lecture Notes in Computer Science, Springer, 2022. [doi]

Flexibly Graded Monads and Graded AlgebrasDylan McDermott, Tarmo Uustalu. mpc 2022: 102-128 [doi]

Folding over Neural NetworksMinh Nguyen, Nicolas Wu. mpc 2022: 129-150 [doi]

Towards a Practical Library for Monadic Equational Reasoning in CoqAyumu Saito, Reynald Affeldt. mpc 2022: 151-177 [doi]

Semantic Preservation for a Type Directed Translation Scheme of Featherweight GoMartin Sulzmann, Stefan Wehr. mpc 2022: 178-197 [doi]

Streams of Approximations, Equivalence of Recursive Effectful ProgramsNiccolò Veltri, Niels F. W. Voorneveld. mpc 2022: 198-221 [doi]

Fantastic Morphisms and Where to Find Them - A Guide to Recursion SchemesZhixuan Yang, Nicolas Wu. mpc 2022: 222-267 [doi]

2019

A Hierarchy of Monadic Effects for Program Verification Using Equational ReasoningReynald Affeldt, David Nowak, Takafumi Saikawa. mpc 2019: 226-254 [doi]

Setoid Type Theory - A Syntactic TranslationThorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau. mpc 2019: 155-196 [doi]

An Analysis of Repeated Graph SearchRoland Carl Backhouse. mpc 2019: 298-328 [doi]

How to Calculate with Nondeterministic FunctionsRichard Bird, Florian Rabe. mpc 2019: 138-154 [doi]

System F in Agda, for Fun and ProfitJames Chapman, Roman Kireev, Chad Nester, Philip Wadler. mpc 2019: 255-297 [doi]

Cylindric Kleene Lattices for Program ConstructionBrijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth. mpc 2019: 197-225 [doi]

Coding with Asymmetric Numeral SystemsJeremy Gibbons. mpc 2019: 444-465 [doi]

Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite AutomataRalf Hinze. mpc 2019: 103-137 [doi]

Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, ProceedingsGraham Hutton, editor, Volume 11825 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Unraveling Recursion: Compiling an IR with Recursion to System FMichael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth Mackenzie, Chad Nester, Philip Wadler. mpc 2019: 414-443 [doi]

En Garde! Unguarded Iteration for Reversible Computation in the Delay MonadRobin Kaarsgaard, Niccolò Veltri. mpc 2019: 366-384 [doi]

Shallow Embedding of Type Theory is Morally CorrectAmbrus Kaposi, András Kovács, Nicolai Kraus. mpc 2019: 329-365 [doi]

Certification of Breadth-First Algorithms by ExtractionDominique Larchey-Wendling, Ralph Matthes. mpc 2019: 45-75 [doi]

Experiments in Information Flow AnalysisAnnabelle McIver. mpc 2019: 1-17 [doi]

Handling Local State with Global StateKoen Pauwels, Tom Schrijvers, Shin-Cheng Mu. mpc 2019: 18-44 [doi]

Verified Self-Explaining ComputationJan Stolarek, James Cheney. mpc 2019: 76-102 [doi]

Completeness and Incompleteness of Synchronous Kleene AlgebraJana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001. mpc 2019: 385-413 [doi]

2015

Notions of Bidirectional Computation and Entangled State MonadsFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. mpc 2015: 187-214 [doi]

Calculating Certified Compilers for Non-deterministic LanguagesPatrick Bahr. mpc 2015: 159-186 [doi]

Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of SetsRudolf Berghammer. mpc 2015: 238-256 [doi]

A Relation-Algebraic Approach to Multirelations and Predicate TransformersRudolf Berghammer, Walter Guttmann. mpc 2015: 50-70 [doi]

A Program Construction and Verification Tool for Separation LogicBrijesh Dongol, Victor B. F. Gomes, Georg Struth. mpc 2015: 137-158 [doi]

A Clear Picture of Lens Laws - Functional PearlSebastian Fischer, Zhenjiang Hu, Hugo Pacheco. mpc 2015: 215-223 [doi]

Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. ProceedingsRalf Hinze, Janis Voigtländer, editors, Volume 9129 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Auto in Agda - Programming Proof Search Using ReflectionPepijn Kokke, Wouter Swierstra. mpc 2015: 276-301 [doi]

Hierarchy in Generic Programming LibrariesJosé Pedro Magalhães, Andres Löh. mpc 2015: 93-112 [doi]

Turing-Completeness Totally FreeConor McBride. mpc 2015: 257-275 [doi]

Exploring an Interface Model for CKABernhard Möller, Tony Hoare. mpc 2015: 1-29 [doi]

Polynomial Functors Constrained by Regular ExpressionsDan Piponi, Brent A. Yorgey. mpc 2015: 113-136 [doi]

Preference Decomposition and the Expressiveness of Preference Query LanguagesPatrick Roocks. mpc 2015: 71-92 [doi]

Regular Varieties of Automata and CoequationsJ. Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten. mpc 2015: 224-237 [doi]

On Rely-Guarantee ReasoningStephan van Staden. mpc 2015: 30-49 [doi]

Fusion for Free - Efficient Algebraic Effect HandlersNicolas Wu, Tom Schrijvers. mpc 2015: 302-322 [doi]

2012

Dependently Typed Programming Based on Automated Theorem ProvingAlasdair Armstrong, Simon Foster, Georg Struth. mpc 2012: 220-240 [doi]

First-Past-the-Post GamesRoland Carl Backhouse. mpc 2012: 157-176 [doi]

Modular Tree AutomataPatrick Bahr. mpc 2012: 263-299 [doi]

Probabilistic Relational Hoare Logics for Computer-Aided Security ProofsGilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin. mpc 2012: 1-6 [doi]

Reverse Exchange for Concurrency and Local ReasoningHan-Hing Dang, Bernhard Möller. mpc 2012: 177-197 [doi]

Deriving Real-Time Action Systems Controllers from Multiscale System SpecificationsBrijesh Dongol, Ian J. Hayes. mpc 2012: 102-131 [doi]

The Geometry of Synthesis - How to Make Hardware Out of SoftwareDan R. Ghica. mpc 2012: 23-24 [doi]

Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. ProceedingsJeremy Gibbons, Pablo Nogueira, editors, Volume 7342 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Unifying Correctness StatementsWalter Guttmann. mpc 2012: 198-219 [doi]

Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old TrickRalf Hinze. mpc 2012: 324-362 [doi]

The Laws of Programming Unify Process CalculiTony Hoare, Stephan van Staden. mpc 2012: 7-22 [doi]

Scheduler-Independent DeclassificationAlexander Lux, Heiko Mantel, Matthias Perner. mpc 2012: 25-47 [doi]

Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-nLouis Mandel, Florence Plateau. mpc 2012: 74-101 [doi]

Elementary Probability Theory in the Eindhoven StyleCarroll Morgan. mpc 2012: 48-73 [doi]

An Algebraic Calculus of Database PreferencesBernhard Möller, Patrick Roocks, Markus Endres. mpc 2012: 241-262 [doi]

Constructing Applicative FunctorsRoss Paterson. mpc 2012: 300-323 [doi]

Calculating Graph Algorithms for Dominance and Shortest PathIlya Sergey, Jan Midtgaard, Dave Clarke. mpc 2012: 132-156 [doi]

2010

The Algorithmics of Solitaire-Like GamesRoland Carl Backhouse, Wei Chen, João F. Ferreira. mpc 2010: 1-18 [doi]

On Automated Program Construction and VerificationRudolf Berghammer, Georg Struth. mpc 2010: 22-41 [doi]

The Logic of Large EnoughEerke A. Boiten, Dan Grundy. mpc 2010: 42-57 [doi]

Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. ProceedingsClaude Bolduc, Jules Desharnais, Béchir Ktari, editors, Volume 6120 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Dependently Typed GrammarsKasper Brink, Stefan Holdermans, Andres Löh. mpc 2010: 58-79 [doi]

Abstraction of Object Graphs in Program VerificationYifeng Chen, Jeff W. Sanders. mpc 2010: 80-99 [doi]

Subtyping, DeclarativelyNils Anders Danielsson, Thorsten Altenkirch. mpc 2010: 100-118 [doi]

Compositional Action System Derivation Using Enforced PropertiesBrijesh Dongol, Ian J. Hayes. mpc 2010: 119-139 [doi]

Designing an Algorithmic Proof of the Two-Squares TheoremJoão F. Ferreira. mpc 2010: 140-156 [doi]

Partial, Total and General CorrectnessWalter Guttmann. mpc 2010: 157-177 [doi]

Unifying Theories of Programming That Distinguish Nontermination and AbortIan J. Hayes, Steve Dunne, Larissa Meinicke. mpc 2010: 178-194 [doi]

Process Algebras for Collective DynamicsJane Hillston. mpc 2010: 20-21 [doi]

Adjoint Folds and UnfoldsRalf Hinze. mpc 2010: 195-228 [doi]

An Abstract Machine for the Old Value RetrievalPiotr Kosiuczenko. mpc 2010: 229-247 [doi]

A Tracking Semantics for CSPMarisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. mpc 2010: 248-270 [doi]

Matrices as Arrows!Hugo Daniel Macedo, José Nuno Oliveira. mpc 2010: 271-287 [doi]

Lucy-n: a n-Synchronous Extension of LustreLouis Mandel, Florence Plateau, Marc Pouzet. mpc 2010: 288-309 [doi]

Sampling, Splitting and Merging in Coinductive Stream CalculusMilad Niqui, Jan J. M. M. Rutten. mpc 2010: 310-330 [doi]

Generic Point-free LensesHugo Pacheco, Alcino Cunha. mpc 2010: 331-352 [doi]

Compositionality of Secure Information FlowCatuscia Palamidessi. mpc 2010: 19 [doi]

Formal Derivation of Concurrent Garbage CollectorsDusko Pavlovic, Peter Pepper, Douglas R. Smith. mpc 2010: 353-376 [doi]

Temporal Logic Verification of Lock-FreedomBogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif. mpc 2010: 377-396 [doi]

Gradual RefinementMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. mpc 2010: 397-425 [doi]

2008

The Capacity-CTorch ProblemRoland Carl Backhouse. mpc 2008: 57-78 [doi]

Recounting the Rationals: Twice!Roland Carl Backhouse, João F. Ferreira. mpc 2008: 79-91 [doi]

Zippy Tabulations of Recursive FunctionsRichard S. Bird. mpc 2008: 92-109 [doi]

Unfolding Abstract DatatypesJeremy Gibbons. mpc 2008: 110-133 [doi]

Circulations, Fuzzy Relations and SemiringsRoland Glück, Bernhard Möller. mpc 2008: 134-152 [doi]

Exploiting Unique Fixed PointsRalf Hinze. mpc 2008: 1 [doi]

Scrap Your Type ApplicationsBarry Jay, Simon L. Peyton Jones. mpc 2008: 2-27 [doi]

The Expression LemmaRalf Lämmel, Ondrej Rypacek. mpc 2008: 193-219 [doi]

Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit FlatteningRalph Matthes. mpc 2008: 220-242 [doi]

Probabilistic Choice in Refinement AlgebraLarissa Meinicke, Ian J. Hayes. mpc 2008: 243-267 [doi]

Programming with Effects in CoqGreg Morrisett. mpc 2008: 28 [doi]

Algebra of Programming Using Dependent TypesShin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson. mpc 2008: 268-283 [doi]

Safe Modification of Pointer Programs in Refinement CalculusSusumu Nishimura. mpc 2008: 284-304 [doi]

A Hoare Logic for Call-by-Value Functional ProgramsYann Régis-Gianas, François Pottier. mpc 2008: 305-335 [doi]

Synthesis of Optimal Control Policies for Some Infinite-State Transition SystemsMichel Sintzoff. mpc 2008: 336-359 [doi]

Asymptotic Improvement of Computations over Free MonadsJanis Voigtländer. mpc 2008: 388-403 [doi]

Symmetric and Synchronous Communication in Peer-to-Peer NetworksAndreas Witzel. mpc 2008: 404-421 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

MPC (mpc)

Viewing Publication 1 - 100 from 293

2022

2019

2015

2012

2010

2008

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

MPC (mpc)

Viewing Publication 1 - 100 from 293

2022

2019

2015

2012

2010

2008

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1