Searching for "An Ideal Model for Recursive Polymorphic Types" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Faithful Ideal Models for Recursive Polymorphic Types
- …FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES MART ' IN ABADI Digital Equipment…
- Cited by 15 (0 self) – Add To MetaCart
-
Faithful Ideal Models for RecursivePolymorphic Types
- …Faithful Ideal Models for Recursive Polymorphic Types Mart n Abadi y Benjamin Pierce z Gordon…
- Add To MetaCart
-
Semantic Types: A Fresh Look at the Ideal Model for Types
- …-André Melliès We present a generalization of the ideal model for recursive polymorphic types. Types are defined…
- Cited by 12 (2 self) – Add To MetaCart
Showing 1 through 3.
