![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
TLDI 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.