Objects And Classes, Co-Algebraically

This publication has 15 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• Mongruences and cofree coalgebras
  Published by Springer Nature ,1995
• A unifying type-theoretic framework for objects
  Published by Springer Nature ,1994
• Formal Specification and Design
  Published by Cambridge University Press (CUP) ,1992
• Object-oriented programming versus abstract data types
  Published by Springer Nature ,1991
• Designing an object-oriented programming language with behavioural subtyping
  Published by Springer Nature ,1991
• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• Realization is universal
  Theory of Computing Systems, 1972