03362nam 22007575 450 991059505230332120260126103201.09783031169120303116912310.1007/978-3-031-16912-0(CKB)5850000000078552(MiAaPQ)EBC7102163(Au-PeEL)EBL7102163(PPN)26495324X(OCoLC)1348495448(DE-He213)978-3-031-16912-0(EXLCZ)99585000000007855220220921d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierMathematics of Program Construction 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings /edited by Ekaterina Komendantskaya1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (281 pages)Lecture Notes in Computer Science,1611-3349 ;13544Includes index.9783031169113 3031169115 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.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.Lecture Notes in Computer Science,1611-3349 ;13544Computer scienceSoftware engineeringArtificial intelligenceComputer networksComputer Science Logic and Foundations of ProgrammingSoftware EngineeringArtificial IntelligenceComputer Communication NetworksProgramació (Ordinadors)thubMatemàtica discretathubCongressosthubLlibres electrònicsthubComputer science.Software engineering.Artificial intelligence.Computer networks.Computer Science Logic and Foundations of Programming.Software Engineering.Artificial Intelligence.Computer Communication Networks.Programació (Ordinadors)Matemàtica discreta371.39445005.1Komendantskaya EkaterinaMiAaPQMiAaPQMiAaPQBOOK9910595052303321Mathematics of Program Construction2915783UNINA