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

• 2018
• 
  Frédéric Blanqui:
  Size-based termination of higher-order rewriting. J. Funct. Program. 28: e11 (2018)
• 
  Joachim Breitner:
  The adequacy of Launchbury's natural semantics for lazy evaluation. J. Funct. Program. 28: e1 (2018)
• 
  Sheng Chen, Martin Erwig:
  Systematic identification and communication of type errors. J. Funct. Program. 28: e2 (2018)
• 
  James Cheney, Torsten Grust:
  Special Issue on Programming Languages for Big Data Editorial. J. Funct. Program. 28: e8 (2018)
• 
  Jesper Cockx, Dominique Devriese:
  Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. J. Funct. Program. 28: e12 (2018)
• 
  Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
  Foundations of dependent interoperability. J. Funct. Program. 28: e9 (2018)
• 
  Paul Downen, Zena M. Ariola:
  A tutorial on computational classical logic and the sequent calculus. J. Funct. Program. 28: e3 (2018)
• 
  Thomas Gilray, Michael D. Adams, Matthew Might:
  Abstract allocation as a unified approach to polyvariance in control-flow analyses. J. Funct. Program. 28: e18 (2018)
• 
  Philipp Haller, Heather Miller, Normen Müller:
  A programming model and foundation for lineage-based distributed computation. J. Funct. Program. 28: e7 (2018)
• 
  Ralf Hinze:
  On constructing 2-3 trees. J. Funct. Program. 28: e19 (2018)
• 
  Ralf Hinze, Clare Martin:
  Batcher's odd-even merging network revealed. J. Funct. Program. 28: e14 (2018)
• 
  Ralf Hinze, Clare Martin:
  Parberry's pairwise sorting network revealed. J. Funct. Program. 28: e21 (2018)
• 
  Graham Hutton:
  PhD Abstracts. J. Funct. Program. 28: e17 (2018)
• 
  Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, Derek Dreyer:
  Iris from the ground up: A modular foundation for higher-order concurrent separation logic. J. Funct. Program. 28: e20 (2018)
• 
  Gabriele Keller, Fritz Henglein:
  Editorial for the Special Issue on Parallel and Concurrent Functional Programming. J. Funct. Program. 28: e6 (2018)
• 
  Kazutaka Matsuda, Meng Wang:
  Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. J. Funct. Program. 28: e15 (2018)
• 
  Marco T. Morazán:
  Infusing an HtDP-based CS1 with distributed programming using functional video games. J. Funct. Program. 28: e5 (2018)
• 
  Andreas Rossberg:
  1ML - Core and modules united. J. Funct. Program. 28: e22 (2018)
• 
  Eric L. Seidel, Ranjit Jhala, Westley Weimer:
  Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). J. Funct. Program. 28: e13 (2018)
• 
  Amir Shaikhha, Mohammad Dashti, Christoph Koch:
  Push versus pull-based loop fusion in query engines. J. Funct. Program. 28: e10 (2018)
• 
  Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt:
  An extended account of contract monitoring strategies as patterns of communication. J. Funct. Program. 28: e4 (2018)
• 
  Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton:
  Ghostbuster: A tool for simplifying and converting GADTs. J. Funct. Program. 28: e16 (2018)