|
26
|
Inheritance and Cofree Constructions
– B. P. F. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
|
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
|
|
|
Coalgebraic Specifications in Object-Oriented Programming
– Elena Tsanko
- 2004
|
|
11
|
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
– Joseph Goguen, Grant Malcolm, Tom Kemp
- 1998
|
|
25
|
A Theory of Primitive Objects
– Martín Abadi, Luca Cardelli
- 1994
|
|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
31
|
Mongruences and Cofree Coalgebras
– Bart Jacobs
- 1995
|
|
11
|
An Algebraic Semantics for the Object Specification Language TROLL light
– Martin Gogolla, Rudolf Herzig
- 1995
|
|
48
|
Type Theories and Object-Oriented Programming
– Scott Danforth, Chris Tomlinson
- 1988
|
|
110
|
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics
– Kim B. Bruce
- 1993
|
|
15
|
An Object-Oriented Refinement Calculus with Modular Reasoning
– Mark Utting
- 1992
|
|
1
|
Developments in Object-Oriented Type Systems
– Michael I. Schwartzbach, C Fl Michael I. Schwartzbach
- 1994
|
|
|
Formal Justification in Requirements Engineering
– Simon Robert Smith
- 1996
|
|
109
|
Comparing object encodings
– Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
- 2006
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
22
|
Objects and classes in Algol-like languages
– Uday S. Reddy
- 2002
|
|
97
|
Typechecking and Modules for Multi-Methods
– Craig Chambers, Gary T. Leavens
- 1995
|
|
|
Logical Observable Entities
– Jonathan G. Rossie, Jr.
- 1998
|
|
29
|
Typing in object-oriented languages: Achieving expressiveness and safety
– Kim B. Bruce
- 1996
|
