Searching for "A Programmer's Reduction Semantics for Classes and Mixins." – sorted by Relevance.
-
A Programmer's Reduction Semantics for Classes and Mixins
- A Programmer's Reduction Semantics for Classes and Mixins TR 97-293: Corrected Version, June 8
- Cited by 64 (8 self) – Add To MetaCart
-
Object-Oriented Programming in Explicit Mathematics: Towards the Mathematics of Objects
- and Typing . . . . . . . . . . . . . . . . . 90 v vi Contents 7 A Semantics for FJ 95 7.1 Fixed Point Types
- Add To MetaCart

