| 2008 |
|---|
| 10 | EE | Daniel S. Dantas,
David Walker,
Geoffrey Washburn,
Stephanie Weirich:
AspectML: A polymorphic aspect-oriented functional programming language.
ACM Trans. Program. Lang. Syst. 30(3): (2008) |
| 9 | EE | Geoffrey Washburn,
Stephanie Weirich:
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism.
J. Funct. Program. 18(1): 87-140 (2008) |
| 2006 |
|---|
| 8 | EE | Simon L. Peyton Jones,
Dimitrios Vytiniotis,
Stephanie Weirich,
Geoffrey Washburn:
Simple unification-based type inference for GADTs.
ICFP 2006: 50-61 |
| 7 | EE | Geoffrey Washburn,
Stephanie Weirich:
Good advice for type-directed programming aspect-oriented programming and extensible generic functions.
ICFP-WGP 2006: 33-44 |
| 2005 |
|---|
| 6 | EE | Daniel S. Dantas,
David Walker,
Geoffrey Washburn,
Stephanie Weirich:
PolyAML: a polymorphic aspect-oriented functional programming language.
ICFP 2005: 306-319 |
| 5 | EE | Geoffrey Washburn,
Stephanie Weirich:
Generalizing Parametricity Using Information-flow.
LICS 2005: 62-71 |
| 4 | EE | Dimitrios Vytiniotis,
Geoffrey Washburn,
Stephanie Weirich:
An open and shut typecase.
TLDI 2005: 13-24 |
| 3 | EE | Brian E. Aydemir,
Aaron Bohannon,
Matthew Fairbairn,
J. Nathan Foster,
Benjamin C. Pierce,
Peter Sewell,
Dimitrios Vytiniotis,
Geoffrey Washburn,
Stephanie Weirich,
Steve Zdancewic:
Mechanized Metatheory for the Masses: The PoplMark Challenge.
TPHOLs 2005: 50-65 |
| 2003 |
|---|
| 2 | EE | Geoffrey Washburn,
Stephanie Weirich:
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.
ICFP 2003: 249-262 |
| 2002 |
|---|
| 1 | EE | Assaf J. Kfoury,
Geoffrey Washburn,
Joe Wells:
Implementing Compositional Analysis Using Intersection Types With Expansion Variables.
Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
