MPC

Keyphrases

Publications

2022

Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Breadth-First Traversal via Staging. MPC (2022)
Martin Sulzmann, Stefan Wehr
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. MPC (2022)
Zhixuan Yang, Nicolas Wu
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. MPC (2022)
Minh Nguyen, Nicolas Wu
Folding over Neural Networks. MPC (2022)
Niccolò Veltri, Niels F. W. Voorneveld
Streams of Approximations, Equivalence of Recursive Effectful Programs. MPC (2022)
Dylan McDermott, Tarmo Uustalu
Flexibly Graded Monads and Graded Algebras. MPC (2022)
Ayumu Saito, Reynald Affeldt
Towards a Practical Library for Monadic Equational Reasoning in Coq. MPC (2022)
Ralf Hinze, Wouter Swierstra
Calculating Datastructures. MPC (2022)
Brandon Hewer, Graham Hutton
Subtyping Without Reduction. MPC (2022)

volume 13544, 2022

Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings MPC 13544 (2022)

2019

volume 11825, 2019

Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings MPC 11825 (2019)

2015

volume 9129, 2015

Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings MPC 9129 (2015)

2012

volume 7342, 2012

Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings MPC 7342 (2012)