A proposed categorical semantics for ML modules

DOI10.1007/3-540-60164-3_30zbMath1502.68170OpenAlexW1563960472MaRDI QIDQ5057478

Hayo Thielecke, Michael Paul Fourman

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_30

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Cites Work

• A small complete category
• A proposed categorical semantics for Pure ML
• Unnamed Item

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