A Proposed Categorical Semantics for ML Modules

Michael P. Fourman; Hayo Thielecke

doi:10.1007/3-540-60164-3_30

A Proposed Categorical Semantics for ML Modules

Michael P. Fourman, Hayo Thielecke

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings
Publisher	Springer
Pages	240-252
Number of pages	13
ISBN (Electronic)	978-3-540-44661-3
ISBN (Print)	978-3-540-60164-7
DOIs	https://doi.org/10.1007/3-540-60164-3_30
Publication status	Published - 1995

Access to Document

10.1007/3-540-60164-3_30

Fourman 1995 A proposed categorical semantics for ML modulesAccepted author manuscript, 116 KB

http://dx.doi.org/10.1007/3-540-60164-3_30

Cite this

@inproceedings{e53a370c60704b3fb7a6163cc5cc16b7,

title = "A Proposed Categorical Semantics for ML Modules",

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.",

author = "Fourman, \{Michael P.\} and Hayo Thielecke",

year = "1995",

doi = "10.1007/3-540-60164-3\_30",

language = "English",

isbn = "978-3-540-60164-7",

pages = "240--252",

booktitle = "Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings",

publisher = "Springer",

address = "United Kingdom",

}

TY - GEN

T1 - A Proposed Categorical Semantics for ML Modules

AU - Fourman, Michael P.

AU - Thielecke, Hayo

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-60164-3_30

DO - 10.1007/3-540-60164-3_30

M3 - Conference contribution

SN - 978-3-540-60164-7

SP - 240

EP - 252

BT - Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings

PB - Springer

ER -

A Proposed Categorical Semantics for ML Modules

Abstract

Access to Document

Fingerprint

Cite this