![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
14th MPC 2022: Tbilisi, Georgia
- Ekaterina Komendantskaya:
Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings. Lecture Notes in Computer Science 13544, Springer 2022, ISBN 978-3-031-16911-3 - Jeremy Gibbons
, Donnacha Oisín Kidney
, Tom Schrijvers
, Nicolas Wu
:
Breadth-First Traversal via Staging. 1-33 - Brandon Hewer, Graham Hutton
:
Subtyping Without Reduction. 34-61 - Ralf Hinze, Wouter Swierstra:
Calculating Datastructures. 62-101 - Dylan McDermott
, Tarmo Uustalu
:
Flexibly Graded Monads and Graded Algebras. 102-128 - Minh Nguyen
, Nicolas Wu
:
Folding over Neural Networks. 129-150 - Ayumu Saito, Reynald Affeldt
:
Towards a Practical Library for Monadic Equational Reasoning in Coq. 151-177 - Martin Sulzmann
, Stefan Wehr
:
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. 178-197 - Niccolò Veltri
, Niels F. W. Voorneveld
:
Streams of Approximations, Equivalence of Recursive Effectful Programs. 198-221 - Zhixuan Yang
, Nicolas Wu
:
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. 222-267
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.