A categorical manifesto (1991)

by Joseph A. Goguen
Venue:Mathematical Structures in Computer Science
Citations:109 - 5 self

Active Bibliography

A Categorical Manifesto – unknown authors
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
766 Notions of Computation and Monads – Eugenio Moggi - 1991
214 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
52 Little Theories – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992
235 Domain Theory in Logical Form – Samson Abramsky - 1991
145 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
205 Reflections on Standard ML – David B. MacQueen - 1992
194 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001