default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTLDI 2005: Long Beach, California, USA
- J. Gregory Morrisett, Manuel Fähndrich:
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 - Bor-Yuh Evan Chang
, Adam Chlipala, George C. Necula, Robert R. Schneck:
The open verifier framework for foundational verifiers. 1-12 - Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich:
An open and shut typecase. 13-24 - Michael F. Ringenburg, Dan Grossman:
Types for describing coordinated data structures. 25-36 - Juan Chen:
Decidable subclassing-bounded quantification. 37-46 - Cormac Flanagan, Stephen N. Freund, Marina Lifshin:
Type inference for atomicity. 47-58 - Peter Thiemann:
Grammar-based analysis of string expressions. 59-70 - Adam Chlipala, Leaf Petersen, Robert Harper:
Strict bidirectional type checking. 71-78 - Joseph Vanderwaart, Karl Crary:
Automated and certified conformance to responsiveness policies. 79-90 - Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck:
Type-based verification of assembly language for compiler debugging. 91-102 - Gilles Barthe, Tamara Rezk:
Non-interference for a JVM-like language. 103-112
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-26 01:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
