A category-theoretic account of program modules

DOI10.1017/S0960129500000074MaRDI QIDQ4713399zbMATH OpenFDO

Authors Eugenio Moggi

Publication date 25 June 1992

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500000074

zbMATH Keywords

2-categoryidentificationindexed categoriesMLmodels for programming languagesmodules with dependent types

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)

Recommendations

• A category-theoretic account of program modules
• Categorical ML -- category-theoretic modular programming
• A proposed categorical semantics for ML modules
• A proposed categorical semantics for pure ML
• scientific article; zbMATH DE number 176139

Cites work

• Categorical semantics for higher order polymorphic lambda calculus
• Fibered categories and the foundations of naive category theory
• Locally cartesian closed categories and type theory
• The formal theory of monads

Cited in

(29)

• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Comprehension categories and the semantics of type dependency
• Term graph rewriting and garbage collection using opfibrations
• Modular design of domain-specific languages using splittings of catamorphisms
• Equilogical spaces
• The simplicial model of univalent foundations (after Voevodsky)
• A syntactic theory of type generativity and sharing
• scientific article; zbMATH DE number 3936500 (Why is no real title available?)
• scientific article; zbMATH DE number 29052 (Why is no real title available?)
• scientific article; zbMATH DE number 92598 (Why is no real title available?)
• scientific article; zbMATH DE number 176139 (Why is no real title available?)
• scientific article; zbMATH DE number 1231578 (Why is no real title available?)
• scientific article; zbMATH DE number 1231620 (Why is no real title available?)
• scientific article; zbMATH DE number 742726 (Why is no real title available?)
• Invariants of monadic coalgebras
• A proposed categorical semantics for ML modules
• A category-theoretic account of program modules
• A proposed categorical semantics for pure ML
• Presenting a Category Modulo a Rewriting System
• Algebra and Coalgebra in Computer Science
• On cubism
• Semantic embedding for quantum algorithms
• A 2-categorical analysis of context comprehension
• A characterization of lambda definability in categorical models of implicit polymorphism
• Categorical ML -- category-theoretic modular programming
• Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
• (, 1)-categorical comprehension schemes
• A 2-categorical approach to the semantics of dependent type theory with computation axioms
• Notions of computation and monads

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4713399)