1 option
Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings / edited by Ekaterina Komendantskaya.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- Lecture notes in computer science 1611-3349 ; 13544
- Lecture Notes in Computer Science, 1611-3349 ; 13544
- Language:
- English
- Subjects (All):
- Computer science.
- Software engineering.
- Artificial intelligence.
- Computer networks.
- Computer Science Logic and Foundations of Programming.
- Software Engineering.
- Artificial Intelligence.
- Computer Communication Networks.
- Local Subjects:
- Computer Science Logic and Foundations of Programming.
- Software Engineering.
- Artificial Intelligence.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (XV, 269 pages) : 27 illustrations, 7 illustrations in color.
- Edition:
- 1st ed. 2022.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2022.
- System Details:
- text file PDF
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-031-16912-0
- 9783031169120
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.