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

• 2019
• 
  Sebastian Ullrich, Leonardo de Moura:
  Counting immutable beans: reference counting optimized for purely functional programming. IFL 2019: 3:1-3:12
• 
  Adam D. Barwell, Christopher Brown:
  A trustworthy framework for resource-aware embedded programming. IFL 2019: 12:1-12:12
• 
  Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek:
  A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL 2019: 8:1-8:12
• 
  Olivier Danvy:
  Mystery functions: making specifications, unit tests, and implementations coexist in the mind of undergraduate students. IFL 2019: 2:1-2:9
• 
  Juan García-Garland, Alberto Pardo, Marcos Viera:
  Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. IFL 2019: 10:1-10:12
• 
  Rudi Horn, Simon Fowler, James Cheney:
  Language-integrated updatable views. IFL 2019: 13:1-13:12
• 
  Pieter W. M. Koopman, Rinus Plasmeijer:
  A new view on parser combinators. IFL 2019: 6:1-6:11
• 
  Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer:
  Interpreting task oriented programs on tiny computers. IFL 2019: 4:1-4:12
• 
  Agustín Mista, Alejandro Russo:
  Deriving compositional random generators. IFL 2019: 11:1-11:12
• 
  Nico Naus, Tim Steenvoorden, Markus Klinik:
  A symbolic execution semantics for TopHat. IFL 2019: 1:1-1:11
• 
  Wojciech Michal Pawlak, Martin Elsman, Cosmin Eugen Oancea:
  A functional approach to accelerating Monte Carlo based american option pricing. IFL 2019: 5:1-5:12
• 
  John H. Reppy, Joe Wingerter:
  Shapes and flattening. IFL 2019: 14:1-14:11
• 
  Sven-Bodo Scholz, Artjoms Sinkarovs:
  Tensor comprehensions in SaC. IFL 2019: 15:1-15:13
• 
  Camil Staps, John H. G. van Groningen, Rinus Plasmeijer:
  Lazy interworking of compiled and interpreted code for sandboxing and distributed systems. IFL 2019: 9:1-9:12
• 
  Kanae Tsushima, Olaf Chitil, Joanna Sharrad:
  Type debugging with counter-factual type error messages using an existing type checker. IFL 2019: 7:1-7:12
• 
  Jurriën Stutterheim, Wei-Ngan Chin:
  IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019. ACM 2019, ISBN 978-1-4503-7562-7 [contents]