Categorical ML -- category-theoretic modular programming

DOI10.1007/BF01212406MaRDI QIDQ684395zbMATH OpenOpenAlexFDO

Authors Esther Dennis-Jones, David Rydeheard

Publication date 15 September 1993

Published in Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

category-theoretic modular programmingequational correctness conditionsfunctional programmingprogram modulesprogramming language Standard MLtype system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15)

Recommendations

• A category-theoretic account of program modules
• A category-theoretic account of program modules
• A proposed categorical semantics for ML modules
• scientific article; zbMATH DE number 193170
• scientific article; zbMATH DE number 49833

Cites work

• An algorithm for verifying equations of morphisms in a category
• scientific article; zbMATH DE number 3880077 (Why is no real title available?)
• scientific article; zbMATH DE number 3928956 (Why is no real title available?)
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 4054988 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)

Cited in

(8)

• Modular design of domain-specific languages using splittings of catamorphisms
• scientific article; zbMATH DE number 19496 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 2040979 (Why is no real title available?)
• A category-theoretic account of program modules
• A proposed categorical semantics for ML modules
• A category-theoretic account of program modules
• A proposed categorical semantics for pure ML

Describes a project that uses

Uses Software

• Haskell
• REVE
• ML

This page was built for publication: Categorical ML -- category-theoretic modular programming

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