A Proposed Categorical Semantics for ML Modules

Michael P. Fourman, Hayo Thielecke

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


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
Number of pages13
ISBN (Electronic)978-3-540-44661-3
ISBN (Print)978-3-540-60164-7
Publication statusPublished - 1995


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

Cite this