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

Mitwirkende(r):

Komendantskaya, Ekaterina [HerausgeberIn]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 13544Verlag: Cham : Springer International Publishing, 2022Verlag: Cham : Imprint: Springer, 2022Auflage: 1st ed. 2022Beschreibung: 1 Online-Ressource(XV, 269 p. 27 illus., 7 illus. in color.)ISBN:

9783031169120

Schlagwörter:

Andere physische Formen: 9783031169113 | 9783031169137 | Erscheint auch als: 9783031169113 Druck-Ausgabe | Erscheint auch als: 9783031169137 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-16912-0Online-Ressourcen:

Zusammenfassung: 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.Zusammenfassung: 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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare