TY  - BOOK
AU  - Komendantskaya,Ekaterina
TI  - Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031169120
U1  - 004.0151 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer networks 
KW  - Computer Science Logic and Foundations of Programming
KW  - Software Engineering
KW  - Artificial Intelligence
KW  - Computer Communication Networks
N1  - Breadth-First Traversal Via Staging -- Subtyping without Reduction -- Calculating datastructures -- Flexibly Graded Monads and Graded Algebras -- Folding over Neural Networks -- Towards a Practical Library for Monadic Equational Reasoning in Coq -- Semantic preservation for a type directed translation scheme of Featherweight Go -- Streams of Approximations, Equivalence of Recursive Effectful Programs -- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes
N2  - This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs
UR  - https://doi.org/10.1007/978-3-031-16912-0
ER  -