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

• 2012
• 
  Umut A. Acar, James Cheney, Stephanie Weirich:
  Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22(4-5): 379-381 (2012)
• 
  Klaus Aehlig, Florian Haftmann, Tobias Nipkow:
  A compiled implementation of normalisation by evaluation. J. Funct. Program. 22(1): 9-30 (2012)
• 
  Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw:
  Lazy tree splitting. J. Funct. Program. 22(4-5): 382-438 (2012)
• 
  Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson:
  Proofs for free - Parametricity for dependent types. J. Funct. Program. 22(2): 107-152 (2012)
• 
  Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy:
  Semantic subtyping with an SMT solver. J. Funct. Program. 22(1): 31-105 (2012)
• 
  Eerke A. Boiten:
  Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. J. Funct. Program. 22(2): 217-219 (2012)
• 
  Neil Brown:
  Functional Programming for Java Developers - Tools for Better Concurrency, Abstraction, and Agility, By Wampler, Media, July 2011, ISBN-13: 978-1449311032, 90pp. J. Funct. Program. 22(6): 853-854 (2012)
• 
  Toni Cebrián:
  Steps in Scala: An introduction to Object-Functional Programming By Loverdos, Apostolos Syropoulos, Cambridge University Press, 2010, 504 pp, ISBN 0521747589. J. Funct. Program. 22(6): 854-855 (2012)
• 
  Ryan Culpepper:
  Fortifying macros. J. Funct. Program. 22(4-5): 439-476 (2012)
• 
  Dominique Devriese, Frank Piessens:
  Finally tagless observable recursion for an abstract grammar model. J. Funct. Program. 22(6): 757-796 (2012)
• 
  Derek Dreyer, Georg Neis, Lars Birkedal:
  The impact of higher-order state and control effects on local relational reasoning. J. Funct. Program. 22(4-5): 477-528 (2012)
• 
  Matthias Felleisen:
  Editorial. J. Funct. Program. 22(3): 223-224 (2012)
• 
  Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler:
  Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. 22(2): 181-216 (2012)
• 
  Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich:
  Contracts made manifest. J. Funct. Program. 22(3): 225-274 (2012)
• 
  Jurriaan Hage:
  Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series. J. Funct. Program. 22(3): 375-377 (2012)
• 
  Fritz Henglein:
  Generic top-down discrimination for sorting and partitioning in linear time. J. Funct. Program. 22(3): 300-374 (2012)
• 
  David Van Horn, Matthew Might:
  Systematic abstraction of abstract machines. J. Funct. Program. 22(4-5): 705-746 (2012)
• 
  Andrew J. Kennedy, Dimitrios Vytiniotis:
  Every bit counts: The binary representation of typed data and programs. J. Funct. Program. 22(4-5): 529-573 (2012)
• 
  Dusan Kolár:
  Drawing Programs: The Theory and Practice of Schematic Functional Programming, by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp. J. Funct. Program. 22(2): 219-221 (2012)
• 
  Anil Madhavapeddy, Yaron Minsky, Marius Eriksen:
  CUFP 2011 Workshop Report. J. Funct. Program. 22(1): 1-8 (2012)
• 
  Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
  Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. 22(3): 275-299 (2012)
• 
  Matthew Naylor, Colin Runciman:
  The Reduceron reconfigured and re-evaluated. J. Funct. Program. 22(4-5): 574-613 (2012)
• 
  Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook:
  MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22(6): 797-852 (2012)
• 
  Nicolas Pouillard, François Pottier:
  A unified treatment of syntax with binders. J. Funct. Program. 22(4-5): 614-704 (2012)
• 
  Vincent Siles, Hugo Herbelin:
  Pure Type System conversion is always typable. J. Funct. Program. 22(2): 153-180 (2012)
• 
  J. Michael Spivey:
  When Maybe is not good enough. J. Funct. Program. 22(6): 747-756 (2012)