Search the dblp DataBase

Publications of Author

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