Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms (1996)

View PDF

Download Links

by Catherine Oriat

Active Bibliography

Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
5 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
INSTITUTIONS: Abstract Model Theory for Specification and Programming – Joseph A. Goguen, Rod Burstall
25 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
214 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
1353 Monads for functional programming – Philip Wadler - 1995
467 Comprehending Monads – Philip Wadler - 1992
481 Domain Theory – Samson Abramsky, Achim Jung - 1994