A proposed categorical semantics for pure ML

DOI10.1007/3-540-55719-9_102MaRDI QIDQ5204345zbMATH OpenOpenAlexFDO

Authors Wesley Phoa, Michael Paul Fourman

Publication date 4 December 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/18691566/Fourman_1995_A_proposed_categorical_semantics_for_ML_modules.pdf

zbMATH Keywords

denotational semanticstopos theorysubstructure component

Mathematics Subject Classification ID

Topoi (18B25) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4047722 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3995028 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• The Discrete Objects in the Effective Topos
• The denotational semantics of programming languages

Cited in

(3)

• A category-theoretic account of program modules
• Towards a semantic theory of CML
• A proposed categorical semantics for ML modules

Describes a project that uses

Uses Software

• ML

This page was built for publication: A proposed categorical semantics for pure ML

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