001449728 000__ 03206cam\a2200577\i\4500
001449728 001__ 1449728
001449728 003__ OCoLC
001449728 005__ 20230310004415.0
001449728 006__ m\\\\\o\\d\\\\\\\\
001449728 007__ cr\cn\nnnunnun
001449728 008__ 220925s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001449728 020__ $$a9783031169120$$q(electronic bk.)
001449728 020__ $$a3031169123$$q(electronic bk.)
001449728 020__ $$z9783031169113
001449728 020__ $$z3031169115
001449728 0247_ $$a10.1007/978-3-031-16912-0$$2doi
001449728 035__ $$aSP(OCoLC)1345579811
001449728 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dOCLCQ
001449728 049__ $$aISEA
001449728 050_4 $$aQA76.6
001449728 08204 $$a005.1$$223/eng/20221004
001449728 1112_ $$aMPC 2022$$n(14th :$$d2022 :$$cTbilisi, Georgia).
001449728 24510 $$aMathematics of program construction :$$b14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, proceedings /$$cEkaterina Komendantskaya (eds.).
001449728 24630 $$aMPC 2022
001449728 264_1 $$aCham :$$bSpringer,$$c[2022]
001449728 264_4 $$c©2022
001449728 300__ $$a1 online resource (xv, 269 pages) :$$billustrations (some color).
001449728 336__ $$atext$$btxt$$2rdacontent
001449728 337__ $$acomputer$$bc$$2rdamedia
001449728 338__ $$aonline resource$$bcr$$2rdacarrier
001449728 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13544
001449728 500__ $$aInternational conference proceedings.
001449728 500__ $$aIncludes author index.
001449728 5050_ $$aBreadth-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.
001449728 506__ $$aAccess limited to authorized users.
001449728 520__ $$aThis 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.
001449728 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 4, 2022).
001449728 650_0 $$aComputer programming$$vCongresses.
001449728 650_0 $$aComputer science$$xMathematics$$vCongresses.
001449728 655_0 $$aElectronic books.
001449728 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449728 655_7 $$aConference papers and proceedings.$$2lcgft
001449728 7001_ $$aKomendantskaya, Ekaterina,$$eeditor.
001449728 77608 $$iPrint version:$$aMPC 2022 (14th : 2022 : Tbilisi, Georgia), creator.$$tMathematics of program construction.$$dCham : Springer, 2022$$z9783031169113$$w(OCoLC)1346508955
001449728 830_0 $$aLecture notes in computer science ;$$v13544.$$x1611-3349
001449728 852__ $$bebk
001449728 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-16912-0$$zOnline Access$$91397441.1
001449728 909CO $$ooai:library.usi.edu:1449728$$pGLOBAL_SET
001449728 980__ $$aBIB
001449728 980__ $$aEBOOK
001449728 982__ $$aEbook
001449728 983__ $$aOnline
001449728 994__ $$a92$$bISE