Categorical ML -- category-theoretic modular programming

DOI10.1007/BF01212406zbMath0784.68017OpenAlexW1989558318MaRDI QIDQ684395

David E. Rydeheard, Esther Dennis-Jones

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

functional programmingtype systemcategory-theoretic modular programmingequational correctness conditionsprogram modulesprogramming language Standard ML

Mathematics Subject Classification ID

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

Uses Software

• ML
• Haskell
• REVE

Cites Work

• An algorithm for verifying equations of morphisms in a category
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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