- Nominal Reasoning Techniques in Coq (Work in Progress)
- Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjberg Stephanie Weirich
- Reactive Noninterference Aaron Bohannon Benjamin C. Pierce Vilhelm Sjoberg
- FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism
- Good Advice for Type-directed Programming Aspect-oriented Programming and Extensible Generic Functions
- Simple Unification-based Type Inference for GADTs Simon Peyton Jones
- Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism
- Higher-Order Intensional Type Analysis Stephanie Weirich
- Flexible Type Analysis Carnegie Mellon University
- Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett
- Under consideration for publication in J. Functional Programming 1 Type-Safe Run-time Polytypic Programming
- Intensional Polymorphism in Type-Erasure Semantics Karl Crary, Stephanie Weirich and Greg Morrisett
- A Design for Type-Directed Programming in Java (Extended Version)
- termvar, x, y, z tyvar, X , Y , Z
- Higher-order polymorphism January 26, 2009
- termvar, x, y, z tyvar, X , Y , Z
- Type-Safe Cast Stephanie Weirich
- Generative Type Abstraction and Type-level Computation (Extended Version)
- Higher-Order Intensional Type Analysis Stephanie Weirich
- Boxes Go Bananas: Encoding HigherOrder Abstract Syntax with Parametric Polymorphism (Extended Version)
- Flexible Type Analysis Carnegie Mellon University
- TypeSafe Cast Functional Pearl
- RepLib: A Library for Derivable Type Classes Stephanie Weirich
- Safe and Flexible Dynamic Linking of Native Michael Hicks1
- PolyAML: A polymorphic aspectoriented functional programmming language
- A Design for Type-Directed Programming in Java Stephanie Weirich Liang Huang
- Encoding Intensional Type Analysis Stephanie Weirich ?
- PolyAML: A Polymorphic Aspect-oriented Functional Programming Language
- A Design for Type-Directed Programming in Java Stephanie Weirich Liang Huang
- Generic Programming With Dependent Types: III Arity-generic programming
- Generalizing Parametricity Using Informationflow Geoffrey Washburn Stephanie Weirich
- Generic Programming With Dependent Types: I Generic Programming in Agda
- Intensional Polymorphism in TypeErasure Semantics Karl Crary, Stephanie Weirich and Greg Morrisett
- Boxes Go Bananas: Encoding HigherOrder Abstract Syntax with Parametric Polymorphism
- A Design for TypeDirected Programming in Java # (Extended Version)
- PROGRAMMING WITH TYPES A Dissertation
- Generative Type Abstraction and Type-level Computation Stephanie Weirich
- Resource Bound Certification Carnegie Mellon University
- Free theorems and runtime type representations
- Resource Bound Certification Carnegie Mellon University
- Binders Unbound Stephanie Weirich Brent Yorgey
- 1 Definitions termvar, x, y, z
- Free theorems and runtime type representations
- PROGRAMMING WITH TYPES A Dissertation
- Safe and Flexible Dynamic Linking of Native Michael Hicks 1 , Stephanie Weirich 2 , and Karl Crary 3
- Intensional Polymorphism in TypeErasure Semantics # Karl Crary Stephanie Weirich Greg Morrisett
- Higher-order polymorphism without kinds CIS 670 Spring 2009
- Nominal Reasoning Techniques in Coq (Extended Abstract)
- Encoding Intensional Type Analysis Stephanie Weirich
- Generic Programming With Dependent Types: II Generic Haskell in Agda
- Under consideration for publication in J. Functional Programming 1 Parametricity, Type Equality and Higher-order
- Giving Haskell a Promotion Brent A. Yorgey
- Binders Unbound Stephanie Weirich Brent A. Yorgey
