Searching for "Alias Types." – sorted by Relevance.
-
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

