Searching for authors named "Stephanie Weirich" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
