• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 11 matches

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