中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Mathematics of Program Construction
会议名14th International Conference on Mathematics of Program Construction (MPC 2022)
中译名《第十四届国际程序构造数学会议》
会议日期September 26-28, 2022
会议地点Tbilisi, Georgia
出版年2022
馆藏号345012


题名作者出版年
Breadth-First Traversal via StagingJeremy Gibbons; Donnacha Oisin Kidney; Tom Schrijvers; Nicolas Wu2022
Subtyping Without ReductionBrandon Hewer; Graham Hutton2022
Calculating DatastructuresRalf Hinze; Wouter Swierstra2022
Flexibly Graded Monads and Graded AlgebrasDylan McDermott; Tarmo Uustalu2022
Folding over Neural NetworksMinh Nguyen; Nicolas Wu2022
Towards a Practical Library for Monadic Equational Reasoning in CoqAyumu Saito; Reynald Affeldt2022
Semantic Preservation for a Type Directed Translation Scheme of Featherweight GoMartin Sulzmann; Stefan Wehr2022
Streams of Approximations, Equivalence of Recursive Effectful ProgramsNiccolo Veltri; Niels Voorneveld2022
Fantastic Morphisms and Where to Find Them A Guide to Recursion SchemesZhixuan Yang; Nicolas Wu2022
The Semifree MonadDaniela Petrisan2022
Lens Theoretic Foundations for Learning: From Semantics to VerificationFabio Zanasi2022



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024