• 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

• 2014
• 
  Peter Achten, Jurriën Stutterheim, László Domoszlai, Rinus Plasmeijer:
  Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics. IFL 2014: 7:1-7:13
• 
  Connor Adsit, Matthew Fluet:
  An Efficient Type- and Control-Flow Analysis for System F. IFL 2014: 3:1-3:14
• 
  Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu:
  Really Natural Linear Indexed Type Checking. IFL 2014: 5:1-5:12
• 
  Markus Aronsson, Emil Axelsson, Mary Sheeran:
  Stream Processing for Embedded Domain Specific Languages. IFL 2014: 8:1-8:12
• 
  David Raymond Christiansen:
  Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. IFL 2014: 1:1-1:9
• 
  László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
  Editlets: type-based, client-side editors for iTasks. IFL 2014: 6:1-6:13
• 
  László Domoszlai, Bas Lijnse, Rinus Plasmeijer:
  Parametric lenses: change notification for bidirectional lenses. IFL 2014: 9:1-9:11
• 
  Olle Fredriksson, Dan R. Ghica, Bertram Wheen:
  Towards native higher-order remote procedure calls. IFL 2014: 10:1-10:12
• 
  Pieter W. M. Koopman, Rinus Plasmeijer, Jan Martin Jansen:
  Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl. IFL 2014: 4:1-4:12
• 
  Matthew Le, Matthew Fluet:
  Combining Shared State with Speculative Parallelism in a Functional Language. IFL 2014: 2:1-2:10
• 
  Sam Tobin-Hochstadt:
  Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014. ACM 2014, ISBN 978-1-4503-3284-2 [contents]