2008 |
7 | EE | Dimitrios Vytiniotis,
Stephanie Weirich,
Simon L. Peyton Jones:
FPH: first-class polymorphism for Haskell.
ICFP 2008: 295-306 |
2007 |
6 | EE | Dimitrios Vytiniotis,
Stephanie Weirich:
Free Theorems and Runtime Type Representations.
Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007) |
5 | EE | Simon L. Peyton Jones,
Dimitrios Vytiniotis,
Stephanie Weirich,
Mark Shields:
Practical type inference for arbitrary-rank types.
J. Funct. Program. 17(1): 1-82 (2007) |
2006 |
4 | EE | Dimitrios Vytiniotis,
Stephanie Weirich,
Simon L. Peyton Jones:
Boxy types: inference for higher-rank types and impredicativity.
ICFP 2006: 251-262 |
3 | EE | Simon L. Peyton Jones,
Dimitrios Vytiniotis,
Stephanie Weirich,
Geoffrey Washburn:
Simple unification-based type inference for GADTs.
ICFP 2006: 50-61 |
2005 |
2 | EE | Dimitrios Vytiniotis,
Geoffrey Washburn,
Stephanie Weirich:
An open and shut typecase.
TLDI 2005: 13-24 |
1 | 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 |