On the use of type predicates in object-oriented software (original) (raw)
Related papers
The Development of Type Systems for Object‐Oriented Languages
Theory and Practice of Object Systems, 1995
Type Systems For Object-Oriented Programming Languages
1996
Some challenging typing issues in object-oriented languages
2003
Support Reengineering by Type Inference A Reengineering Pattern
Type-theoretic design patterns
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06, 2006
Understanding Object-Oriented Languages: Semantics and Types
Lecture Notes, December, 1998
A paradigmatic object-oriented programming language: Design, static typing and semantics
Journal of Functional Programming, 1994
A meta-language for typed object-oriented languages
Theoretical Computer Science, 1995
Typing in object-oriented languages: Achieving expressibility and safety
1996
Type Systems for the Object Oriented Paradigm
Citeseer, 1999
Support Reengineering by Type Reference - A Reengineering Pattern
A Type-Theoretic Basis for an Object-Oriented Refinement Calculus
1996
Recency Types for Dynamically-Typed Object-Based Languages
Strong typing of object-oriented languages revisited
ACM SIGPLAN Notices, 1990
Language Support for Generic Programming in Object-Oriented Languages: Design Challenges
Proceedings of the Institute for System Programming of the RAS
Types, Data Abstraction, and Polymorphism
Refining Classes in Statically Typed Object-Oriented Languages
2004
Objects and polymorphism in system programming languages: a new approach
Periodica Polytechnica Electrical Engineering, 2007
Coping with the reality: adding crucial features to a typestate-oriented language
2021
ACM SIGPLAN Notices, 1995
Using types to analyze and optimize object-oriented programs
ACM Transactions on Programming Languages and Systems, 2001
A simple typed intermediate language for object-oriented languages
ACM SIGPLAN Notices, 2005
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Typing dynamic inheritance: A trade-off between substitutability and extensibility
Java from the trenches: dealing with object orientation and generics
Journal of Computing Sciences in Colleges, 2007
Typing in object-oriented languages: Achieving expressiveness and safety
Interfaces for Strongly-Typed Object-Oriented Programming
ACM SIGPLAN Notices, 1989
Subtyping is not a good “match” for object-oriented languages
1997
On traits and types in a java-like setting
IFIP International Federation for Information Processing, 2008
How developers use the dynamic features of programming languages: The case of smalltalk
Proceedings - International Conference on Software Engineering, 2011
Foundations of object-oriented languages
1995
There's more to OOP than syntax!
ACM SIGCSE Bulletin, 1994
Subtyping for mutable types in object-oriented programming languages
1992