Login / Signup

A Category-theoretic Account of Program Modules.

Eugenio Moggi
Published in: Category Theory and Computer Science (1989)
Keyphrases
  • computer programs
  • neural network
  • building blocks
  • information systems
  • test cases
  • static analysis