Open prathyvsh opened 4 years ago
Eugenio Moggi "A Category-theoretic account of program modules"
Varmo Vene "Categorical Programming with Inductive and Coinductive Types"
Martin Erwig "Categorical Programming with Abstract Data Types"
- Eugenio Moggi "An Abstract View of Programming Languages"
Eugenio Moggi "A Category-theoretic account of program modules"
Varmo Vene "Categorical Programming with Inductive and Coinductive Types"
Martin Erwig "Categorical Programming with Abstract Data Types"
- Eugenio Moggi "An Abstract View of Programming Languages"