Searching for authors named "Stephanie Weirich" – sorted by Relevance.
-
Higher-Order Intensional Type Analysis in Type-Erasure Semantics
- Higher-Order Intensional Type Analysis in Type-Erasure Semantics Stephanie Weirich sweirich
- Cited by 4 (0 self) – Add To MetaCart
-
Type-Safe Cast: Functional Pearl
- Type-Safe Cast Functional Pearl Stephanie Weirich Department of Computer Science Cornell
- Cited by 24 (1 self) – Add To MetaCart
-
Type-safe cast
- Stephanie Weirich ∗ Department of Computer Science Cornell University Ithaca, NY 14853 sweirich
- Cited by 15 (5 self) – Add To MetaCart
-
Higher-Order Intensional Type Analysis
- Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell
- Cited by 31 (11 self) – Add To MetaCart
-
Unifying Nominal and Structural Ad-hoc Polymorphism
- Weirich March 5, 2004 Abstract Ad-hoc polymorphism allows the execution of programs to depend on type
- Add To MetaCart
-
A Design for Type-Directed Programming in Java
- A Design for Type-Directed Programming in Java (Draft of March 22, 2004) Stephanie Weirich
- Cited by 5 (0 self) – Add To MetaCart
-
Real Time Rendering for a Geographical Information System
- Real Time Rendering for a Geographical Information System Stephanie Weirich y Paul Coddington
- Cited by 1 (1 self) – Add To MetaCart
-
Generalizing parametricity using information flow (extended version
- Stephanie Weirich {geoffw, sweirich}@(email omitted); University of Pennsylvania Technical Report MS-CIS-05
- Cited by 2 (2 self) – Add To MetaCart
-
A Calculus for Dynamic Loading
- Stephanie Weirich Cornell University We present the load-calculus, used to model dynamic loading, and prove
- Cited by 10 (5 self) – Add To MetaCart
-
Free theorems and runtime type representations
- Free theorems and runtime type representations Dimitrios Vytiniotis and Stephanie Weirich
- Cited by 5 (5 self) – Add To MetaCart

