Regular Object Types
- 1 January 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Boolean Operations for Attribute-Element ConstraintsLecture Notes in Computer Science, 2003
- On Inner ClassesInformation and Computation, 2002
- Type-preserving compilation of Featherweight JavaACM Transactions on Programming Languages and Systems, 2002
- A Semi-monad for Semi-structured Data (ICDT Version)Lecture Notes in Computer Science, 2001
- Constructive Foundations for Featherweight JavaLecture Notes in Computer Science, 2001
- XDuce: A Typed XML Processing Language (Preliminary Report)Lecture Notes in Computer Science, 2001
- Partial Evaluation for Class-Based Object-Oriented LanguagesLecture Notes in Computer Science, 2001
- Ozone: Integrating Structured and Semistructured DataLecture Notes in Computer Science, 2000
- Making the future safe for the pastACM SIGPLAN Notices, 1998
- Type inference for polymorphic referencesInformation and Computation, 1990