A Category-Theoretic Account of Program Modules (1994)

Cached

Download Links

by Eugenio Moggi
Venue:Mathematical Structures in Computer Science
Citations:23 - 6 self

Document Versions

A Category-Theoretic Account of Program Modules –Eugenio Moggi — 1994 — Mathematical Structures in Computer Science
A category-theoretic account of program modules –Eugenio Moggi — 1991 — Mathematical Structures in Computer Science