 | 2005 |
|---|
| 8 |       | Joseph Vanderwaart,
Karl Crary:
Automated and certified conformance to responsiveness policies.
TLDI 2005: 79-90 |
| 2003 |
|---|
| 7 | | Joseph Vanderwaart,
Karl Crary:
A typed interface for garbage collection.
TLDI 2003: 109-122 |
| 6 | | Joseph Vanderwaart,
Derek Dreyer,
Leaf Petersen,
Karl Crary,
Robert Harper,
Perry Cheng:
Typed compilation of recursive datatypes.
TLDI 2003: 98-108 |
| 2002 |
|---|
| 5 | | Karl Crary,
Joseph Vanderwaart:
An expressive, scalable type theory for certified code.
ICFP 2002: 191-205 |
| 4 | | Joseph Vanderwaart,
Karl Crary:
A Simplified Account of the Metatheory of Linear LF.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
| 3 | | Jonathan Moody,
Ricardo Bezerra de Andrade e Silva,
Joseph Vanderwaart,
Joseph Ramsey,
Clark Glymour:
Classification and filtering of spectra: A case study in mineralogy.
Intell. Data Anal. 6(6): 517-530 (2002) |
| 2001 |
|---|
| 2 | | Jonathan Moody,
Ricardo Bezerra de Andrade e Silva,
Joseph Vanderwaart:
Data filtering for automatic classification of rocks from reflectance spectra.
KDD 2001: 347-352 |
| 1999 |
|---|
| 1 | | Kim B. Bruce,
Joseph Vanderwaart:
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
