Categorical ML - category-theoretic modular programming

Authors
Esther Dennis-Jones David E.Rydeheard
Citation
Esther Dennis-jones et David E.rydeheard, Categorical ML - category-theoretic modular programming, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 337-366
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
4
Year of publication
1993
Pages
337 - 366
Database
ACNP
SICI code