A proposed categorical semantics for Pure ML

DOI10.1007/3-540-55719-9_102zbMath1425.68243OpenAlexW2034261398MaRDI QIDQ5204345

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

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

Related Items (1)

A proposed categorical semantics for ML modules

Uses Software

• ML

Cites Work

• The Discrete Objects in the Effective Topos
• The denotational semantics of programming languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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