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

Active Bibliography

68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
5 Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions – Bart Jacobs - 1996
1 Class Inheritance: The Mechanism and Its Uses – Greg Ewing - 1994
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
Coalgebraic Specifications and Models of Deterministic Hybrid Systems – Bart Jacobs Cwi, B. P. F. Jacobs, Bart Jacobs - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
InEuropeanConf.onObject-OrientedProgr.(ECOOP'96),LectureNotesinComputerScience1098:3-25,1996. Type-Safe Compilation of Covariant Specialization: A Practical Case – John Boyl
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
5 On Multiple Inheritance in Java – Lorenzo Bettini, Michele Loreti, Betti Venneri - 2002
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
2 Formalising Behavioural Compatibility for Reactive Object-Oriented Systems – Roger Duke, Paul King, Graeme Smith - 1991
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000