Fickle: Dynamic Object Re-classification
- 21 June 2001
- book chapter
- Published by Springer Nature
- p. 130-149
- https://doi.org/10.1007/3-540-45337-7_8
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Should superclasses be abstract?Published by Springer Nature ,2006
- An Effective Translation of Fickle into JavaPublished by Springer Nature ,2001
- Typing Non-uniform Concurrent ObjectsPublished by Springer Nature ,2000
- Predicate ClassesPublished by Springer Nature ,2000
- A lambda calculus of objects with self-inflicted extensionACM SIGPLAN Notices, 1998
- Predicate dispatching: A unified theory of dispatchPublished by Springer Nature ,1998
- Typechecking and modules for multimethodsACM Transactions on Programming Languages and Systems, 1995
- Type inference of SELF: Analysis of objects with dynamic and multiple inheritanceSoftware: Practice and Experience, 1995
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992
- Refinement types for MLACM SIGPLAN Notices, 1991