Searching for "A Category-theoretic Account of Program Modules." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Category-Theoretic Account of Program Modules
by Eugenio Moggi — 1994 — Mathematical Structures in Computer Science
…A category-theoretic account of program modules Eugenio Moggi em@(email omitted); LFCS…
Cited by 23 (6 self) – Add To MetaCart

Two-Categories and Program Structure
by David Andrew Naumann, Richard August, Naumann After, Using L, Leslie Lamport, The American
… Logic and Programming Languages. Prentice-Hall, 1985. [Mog89a] Eugenio Moggi. A category-theoretic…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB