Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings / edited by Ekaterina Komendantskaya

Contributor(s):

Komendantskaya, Ekaterina [HerausgeberIn]

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 13544Publisher: Cham : Springer International Publishing, 2022Publisher: Cham : Imprint: Springer, 2022Edition: 1st ed. 2022Description: 1 Online-Ressource(XV, 269 p. 27 illus., 7 illus. in color.)ISBN:

9783031169120

Subject(s):

Additional physical formats: 9783031169113 | 9783031169137 | Erscheint auch als: 9783031169113 Druck-Ausgabe | Erscheint auch als: 9783031169137 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-16912-0Online resources:

Summary: 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.Summary: 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.PPN: PPN: 1817571575Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC | BSZ-2-SN-Auswahl

Holdings ( 0 )

No physical items for this record