A Proposed Categorical Semantics for ML Modules

Michael P. Fourman, Hayo Thielecke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and structures are modelled as objects in slices of the category of assemblies. Instantiation of signatures to structures and hence functor application is modelled by pullback.
Original languageEnglish
Title of host publicationCategory Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings
PublisherSpringer-Verlag
Pages240-252
Number of pages13
ISBN (Electronic)978-3-540-44661-3
ISBN (Print)978-3-540-60164-7
DOIs
Publication statusPublished - 1995

Fingerprint

Dive into the research topics of 'A Proposed Categorical Semantics for ML Modules'. Together they form a unique fingerprint.

Cite this