Inheritance and Cofree Constructions (1995)

Cached

Download Links

by B. P. F. Jacobs , Issn -x , Bart Jacobs
Venue:European Conference on Object-Oriented Programming, number 1098 in Lect. Notes Comp. Sci
Citations:26 - 7 self

Documents Related by Co-Citation

92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
100 Universal algebra – K Meinke, J V Tucker
27 Proof of Correctness of Object Representations – Grant Malcolm, Joseph A. Goguen
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
892 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
111 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
9 Coalgebraic Specifications and Models of deterministic Hybrid Systems – Bart Jacobs - 1996
1448 Object-oriented Software Construction – Bertrand Meyer - 2004
72 Types as theories – Joseph Goguen - 1991
99 Unifying functional, object-oriented and relational programming with logical semantics – Joseph A Goguen, Jose Meseguer - 1987