Recursive subtyping revealed: functional pearl. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce (ICFP, 2000)

Recursive subtyping revealed. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce (J. Funct. Program., 2002)

Regular Object Types. - Vladimir Gapeyev; Benjamin C. Pierce (ECOOP, 2003)

XML Goes Native: Run-Time Representations for Xtatic. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce; Alan Schmitt (CC, 2005)

XTATIC. - Vladimir Gapeyev; Michael Y. Levin; Benjamin C. Pierce; Alan Schmitt (PLAN-X, 2006)

Statically Typed Document Transformation: An Xtatic Experience. - Vladimir Gapeyev; François Garillot; Benjamin C. Pierce (PLAN-X, 2006)