Searching for "Indexed Types." – sorted by Relevance.
-
Concoqtion: indexed types now
- Abstract Seth Fogarty Rice University sfogarty@(email omitted); Concoqtion: Indexed Types Now! ∗ Emir
- Cited by 11 (0 self) – Add To MetaCart
-
Semantic Indexing and Typed Hyperlinking
- Semantic Indexing and Typed Hyperlinking J. Pustejovsky y , B. Boguraev z , M. Verhagen y
- Cited by 19 (4 self) – Add To MetaCart
-
Efficient Indexing for Typed Feature Structures
- Efficient Indexing for Typed Feature Structures Thilo Goetz, Robin Lougee-Heimer g; Nicolas
- Cited by 1 (0 self) – Add To MetaCart
-
Type-Indexed Data Types
- Abstract Type-indexed data types Ralf Hinze a Johan Jeuring b,c Andres Löh b a Institut für
- Cited by 43 (16 self) – Add To MetaCart
-
Type-Indexed Rows
- Languages, London, 17-19 January, 2001 Type-Indexed Rows Mark Shields Oregon Graduate Institute mbs
- Cited by 29 (7 self) – Add To MetaCart
-
BPS states and supersymmetric index in N = 2 type I string vacua
- SISSA-29/97/EP BPS states and supersymmetric index in N = 2 type I string vacua Jose F. Morales a
- Add To MetaCart
-
Specializing Type-Indexed Values by Partial Evaluation
- Specializing Type-Indexed Values by Partial Evaluation Martijn de Vries May 3, 2004 Abstract
- Add To MetaCart
-
TypeCase: A Design Pattern for Type-Indexed Functions
- Abstract TypeCase: A Design Pattern for Type-Indexed Functions A type-indexed function is a
- Cited by 15 (4 self) – Add To MetaCart
-
An Indexed Model of Recursive Types for Foundational Proof-Carrying Code
- An Indexed Model of Recursive Types for Foundational Proof-Carrying Code Andrew W. Appel Princeton
- Cited by 86 (11 self) – Add To MetaCart
-
Constraint-Based Type Inference for Guarded Algebraic Data Types
- the concepts known in the literature as indexed types, guarded recursive datatype constructors, and phantom
- Cited by 21 (2 self) – Add To MetaCart

