Joseph Vanderwaart

According to our database, Joseph Vanderwaart authored at least 8 papers between 1999 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Automated and certified conformance to responsiveness policies.

Joseph Vanderwaart, Karl Crary

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

2003

Typed compilation of recursive datatypes.

Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

A typed interface for garbage collection.

Joseph Vanderwaart, Karl Crary

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

2002

Classification and filtering of spectra: A case study in mineralogy.

Jonathan Moody, Ricardo Bezerra de Andrade e Silva, Joseph Vanderwaart, Joseph D. Ramsey, Clark Glymour

Intell. Data Anal., 2002

A Simplified Account of the Metatheory of Linear LF.

Joseph Vanderwaart, Karl Crary

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

An expressive, scalable type theory for certified code.

Karl Crary, Joseph Vanderwaart

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Data filtering for automatic classification of rocks from reflectance spectra.

Jonathan Moody, Ricardo Bezerra de Andrade e Silva, Joseph Vanderwaart

Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, 2001

1999

Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.

Kim B. Bruce, Joseph Vanderwaart

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999