Searching for "Partial Abstract Types." – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Statically Typed Friendly Functions via Partially Abstract Types
- …Statically Typed Friendly Functions via Partially Abstract Types Benjamin C. Pierce INRIA…
- Cited by 27 (1 self) – Add To MetaCart
-
Subtyping and Parametricity
- …, with the corresponding proof principles of simulation and induction. With subtyping, we obtain partially abstract types…
- Cited by 10 (2 self) – Add To MetaCart
-
A Module System for LOOM
- … information to allow separate compilation. The use of partially abstract types and manifest types can help…
- Cited by 1 (0 self) – Add To MetaCart
-
Structural Subtyping and the Notion of Power Type
- …. Combining dependent pair types with Power we can express partially abstract types: for example the interface…
- Cited by 59 (2 self) – Add To MetaCart
-
Structural Subtyping and the Notion of Power Type
- …. Combining dependent pair types with Power we can express partially abstract types: for example…
- Add To MetaCart
-
Abstraction preservation and subtyping in distributed languages
- … of subtyping between abstract types. Third, we allow the declarationof partially abstract types (also known…
- Cited by 6 (2 self) – Add To MetaCart
-
Principles and a Preliminary Design for ML2000
- … way to declare partially abstract types in signatures similar to the "REVEAL" keyword of Modula-3 [18…
- Add To MetaCart
-
Principles and a Preliminary Design for ML2000
- … way to declare partially abstract types in signatures similar to the "REVEAL" keyword of Modula-3 [18…
- Add To MetaCart
-
A semantic basis for Quest
- …, and in combination with quantifiers results in bounded-polymorphic functions and partially abstract types. Subtyping…
- Cited by 65 (14 self) – Add To MetaCart
-
A semantic basis for Quest
- …-polymorphic functions and partially abstract types. Subtyping is realized in a uniform way throughout the system via a…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
