TLDI 2005: Long Beach, California, USA

J. Gregory Morrisett, Manuel Fähndrich (Eds.): Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. ACM 2005, ISBN 1-58113-999-3 BibTeX

Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck:
The open verifier framework for foundational verifiers. 1-12
Electronic Edition (ACM DL) BibTeX
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich:
An open and shut typecase. 13-24
Electronic Edition (ACM DL) BibTeX
Michael F. Ringenburg, Dan Grossman:
Types for describing coordinated data structures. 25-36
Electronic Edition (ACM DL) BibTeX
Juan Chen:
Decidable subclassing-bounded quantification. 37-46
Electronic Edition (ACM DL) BibTeX
Cormac Flanagan, Stephen N. Freund, Marina Lifshin:
Type inference for atomicity. 47-58
Electronic Edition (ACM DL) BibTeX
Peter Thiemann:
Grammar-based analysis of string expressions. 59-70
Electronic Edition (ACM DL) BibTeX
Adam J. Chlipala, Leaf Petersen, Robert Harper:
Strict bidirectional type checking. 71-78
Electronic Edition (ACM DL) BibTeX
Joseph Vanderwaart, Karl Crary:
Automated and certified conformance to responsiveness policies. 79-90
Electronic Edition (ACM DL) BibTeX
Bor-Yuh Evan Chang, Adam J. Chlipala, George C. Necula, Robert R. Schneck:
Type-based verification of assembly language for compiler debugging. 91-102
Electronic Edition (ACM DL) BibTeX
Gilles Barthe, Tamara Rezk:
Non-interference for a JVM-like language. 103-112
Electronic Edition (ACM DL) BibTeX