Searching for "Alias Types." – sorted by Relevance.
124 documents found, showing 1 through 10.
Next 10 →
-
Alias Types
- …Alias Types ∗ Frederick Smith David Walker Greg Morrisett October 28, 1999 Abstract Linear type…
- Cited by 144 (24 self) – Add To MetaCart
-
Alias Types \Lambda
- … Alias Types \Lambda Frederick Smith David Walker Greg Morrisett October 28, 1999 Abstract…
- Add To MetaCart
-
Alias Types for Recursive Data Structures
- …Abstract Alias Types for Recursive Data Structures ∗ Linear type systems permit programmers…
- Cited by 116 (15 self) – Add To MetaCart
-
Alias Types for Recursive Data Structures
- …Abstract Alias Types for Recursive Data Structures ∗ (Extended Version) Linear type systems permit…
- Add To MetaCart
-
Alias Types for "environment-Aware" Computations
- …://www.elsevier.nl/locate/entcs/volume82.html 21 pages Alias types for "environment-aware" computations Ferruccio Damiani 1,3 Dipartimento…
- Cited by 6 (1 self) – Add To MetaCart
-
Alias and Union Types for Delegation
- … based calculi, delegation, alias types, union types, effects. I. INTRODUCTION In the global computing…
- Cited by 5 (0 self) – Add To MetaCart
-
Virtual Method Resolution with Typed Alias Graphs
- …Virtual Method Resolution with Typed Alias Graphs Markus Schordan, Wolfram Amme markuss…
- Add To MetaCart
-
Fixpoint Analysis of Type and Alias in AKL Programs
- …Fixpoint Analysis of Type and Alias in AKL Programs Thomas Sj��land and Dan Sahlin {alf…
- Add To MetaCart
-
Connecting Effects and Uniqueness with Adoption
- … at a time. The resulting system uses recursive alias types, “permission closures” and “conditional…
- Cited by 20 (2 self) – Add To MetaCart
-
Int’l Workshop on Aliasing, Confinement and Ownership in OOP, 2003 Connecting Effects and Uniqueness with Adoption
- …. The resulting system uses recursive alias types, “permission closures” and “conditional permissions.” Then we…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
