학술논문
A proposed categorical semantics for ML modules.
Document Type
Proceedings Paper
Author
Fourman, Michael (4-EDIN-FC) AMS Author Profile; Thielecke, Hayo (4-EDIN-FC) AMS Author Profile
Source
Subject
68 Computer science -- 68Q Theory of computing
68Q55Semantics
68Q55
Language
English