Privacy via Subsumption
- 1 January 2002
- journal article
- Published by Elsevier in Information and Computation
- Vol. 172 (1) , 2-28
- https://doi.org/10.1006/inco.2000.2925
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- What is Java binary compatibility?ACM SIGPLAN Notices, 1998
- The Development of Type Systems for Object‐Oriented LanguagesTheory and Practice of Object Systems, 1995
- On Binary MethodsTheory and Practice of Object Systems, 1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Type Inference with Extended Pattern Matching and SubtypesFundamenta Informaticae, 1993
- Abstract types have existential typeACM Transactions on Programming Languages and Systems, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985