• 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 8 matches

• 2001
• 
  Robert Harper:
  Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Lecture Notes in Computer Science 2071, Springer 2001, ISBN 3-540-42196-3 [contents]
• 2000
• 
  Karl Crary:
  Sound and Complete Elimination of Singleton Kinds. Types in Compilation 2000: 1-26
• 
  Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine:
  Program Representation Size in an Intermediate Language with Intersection and Union Types. Types in Compilation 2000: 27-52
• 
  Sophia Drossopoulou:
  An Abstract Model of Java Dynamic Linking and Loading. Types in Compilation 2000: 53-84
• 
  Dominic Duggan:
  Sharing in Typed Module Assembly Language. Types in Compilation 2000: 85-116
• 
  Dan Grossman, J. Gregory Morrisett:
  Scalable Certification for Typed Assembly Language. Types in Compilation 2000: 117-146
• 
  Michael W. Hicks, Stephanie Weirich, Karl Crary:
  Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176
• 
  David Walker, J. Gregory Morrisett:
  Alias Types for Recursive Data Structures. Types in Compilation 2000: 177-206