A proposed categorical semantics for pure ML

DOI10.1007/3-540-55719-9_102zbMATH Open1425.68243OpenAlexW2034261398MaRDI QIDQ5204345FDOQ5204345

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Discrete Objects in the Effective Topos
• The denotational semantics of programming languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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)