Predicate Classes

This publication has 17 references indexed in Scilit:

• Multi-methods in a statically-typed programming language
  Published by Springer Nature ,2006
• Object-oriented multi-methods in Cecil
  Published by Springer Nature ,2006
• Attaching Second-Order Types to Methods in an Object-Oriented Language
  Published by Springer Nature ,2000
• Some original features of the LAURE language
  Published by Association for Computing Machinery (ACM) ,1992
• Making pure object-oriented languages practical
  Published by Association for Computing Machinery (ACM) ,1991
• An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes
  Higher-Order and Symbolic Computation, 1991
• A Proposal for Making Eiffel Type-safe
  The Computer Journal, 1989
• An exemplar based Smalltalk
  Published by Association for Computing Machinery (ACM) ,1986
• Boolean classes
  Published by Association for Computing Machinery (ACM) ,1986
• Typestate: A programming language concept for enhancing software reliability
  IEEE Transactions on Software Engineering, 1986