Searching for "An Implementation of Type Type." – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
An implementation of Type:Type
- …An implementation of Type:Type Chalmers University Preliminary version, Mars 2000 Introduction We…
- Add To MetaCart
-
Standardizing Information and Communication Systems
- ….4 Method Implementation Metadata 56 8.5 Class Layout 56 8.6 Assemblies: Name Scopes for Types 57 8…
- Add To MetaCart
-
Who's Afraid of Ownership Types?
- … to the encapsulated implementation of an object. Unfortunately, existing ownership type systems are too strict, do…
- Cited by 2 (0 self) – Add To MetaCart
-
Abstract Modular Information Hiding and Type-Safe Linking for C ∗
- … of .c source files as implementations and use .h header files (containing type and data declarations…
- Add To MetaCart
-
Abstract Modular Information Hiding and Type-Safe Linking for C
- … of .c source files as implementations and use.h header files (containing type and data declarations…
- Add To MetaCart
-
Modeling Shapes in an Image Database System
- …, implementation, and representation by providing implementation types that are used to describe the internal…
- Cited by 3 (3 self) – Add To MetaCart
-
A Polymorphic Language With First-Class Modules
- …: by hiding the value (implementation) of a type field, the type remains abstract and can only be manipulated…
- Cited by 1 (0 self) – Add To MetaCart
-
BABEL: A Generic Data structure for Geometric Modeling
- … to support the structure we wanted. For this reason we had to implement our own type concept (this…
- Cited by 1 (1 self) – Add To MetaCart
-
Phantom Types
- …], and implementing staged computation with run-time type checking [8, 23] or compile-time computation [22]. Recently…
- Cited by 71 (0 self) – Add To MetaCart
-
A Modular Module System
- …). This implementation supports (generative) higher-order functors, subtyping on value components and kinded type…
- Cited by 58 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
