Good functors ... are those preserving philosophy!

This publication has 11 references indexed in Scilit:

• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
  Theoretical Computer Science, 1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• A systematic study of models of abstract data types
  Theoretical Computer Science, 1984
• Algebraic and operational semantics of specifications allowing exceptions and errors
  Theoretical Computer Science, 1984
• Algebraic specification of exception handling and error recovery by means of declarations and equations
  Published by Springer Nature ,1984
• Partial abstract types
  Acta Informatica, 1982
• Final data type specifications
  Published by Association for Computing Machinery (ACM) ,1980
• Parameterized data types in algebraic specification languages
  Lecture Notes in Computer Science, 1980
• Algebraic implementation of abstract data types: concept, syntax, semantics and correctness
  Published by Springer Nature ,1980
• Algebraic implementation of abstract data types
  ACM SIGACT News, 1979