A category-theoretic account of program modules

DOI10.1007/BFb0018347zbMath1493.68118OpenAlexW2174904099MaRDI QIDQ5096254

Eugenio Moggi

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0018347

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 2-categories, bicategories, double categories (18N10)

Related Items (6)

The coinductive resumption monad ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ Structured handling of scoped effects ⋮ Functorial data migration ⋮ Constructive Galois Connections ⋮ Unnamed Item

Cites Work

• The formal theory of monads
• Locally cartesian closed categories and type theory
• Fibered categories and the foundations of naive category theory
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Categorical semantics for higher order polymorphic lambda calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A category-theoretic account of program modules