An Object-oriented Interpretation of the EAT System

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Theoretical Computer Science · 2000 · 1.2K citations

Computing, Computer Science, Algebra +9

A semantics of multiple inheritance

Luca Cardelli · Information and Computation · 1988 · 627 citations

Language Studies, World Languages, Knowledge Representation +7

Concepts and paradigms of object-oriented programming

Peter Wegner · ACM SIGPLAN OOPS Messenger · 1990 · 437 citations · Full text

Computing, Computer Science, Formal Methods +14

Abstract types have existential type

John C. Mitchell, Gordon Plotkin · ACM Transactions on Programming Languages and Systems · 1988 · 432 citations · Full text

Computing, Computer Science, Algebra +14

Terminal coalgebras in well-founded set theory

Michael Barr · Theoretical Computer Science · 1993 · 269 citations

Natural Sciences, Mathematics, Algebra +7