2006 |
6 | | Vladimir Gapeyev,
François Garillot,
Benjamin C. Pierce:
Statically Typed Document Transformation: An Xtatic Experience.
PLAN-X 2006: 2-13 |
5 | | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce,
Alan Schmitt:
XTATIC.
PLAN-X 2006: 88 |
2005 |
4 | EE | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce,
Alan Schmitt:
XML Goes Native: Run-Time Representations for Xtatic.
CC 2005: 43-58 |
2003 |
3 | EE | Vladimir Gapeyev,
Benjamin C. Pierce:
Regular Object Types.
ECOOP 2003: 151-175 |
2002 |
2 | EE | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce:
Recursive subtyping revealed.
J. Funct. Program. 12(6): 511-548 (2002) |
2000 |
1 | EE | Vladimir Gapeyev,
Michael Y. Levin,
Benjamin C. Pierce:
Recursive subtyping revealed: functional pearl.
ICFP 2000: 221-231 |