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

• 2000
• 
  Henk Barendregt, Silvia Ghilezan:
  Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. 10(1): 121-134 (2000)
• 
  Gilles Barthe, Morten Heine Sørensen:
  Domain-free pure type systems. J. Funct. Program. 10(5): 417-452 (2000)
• 
  Gustavo Betarte:
  Type checking dependent (record) types and subtyping. J. Funct. Program. 10(2): 137-166 (2000)
• 
  Gavin M. Bierman:
  Program equivalence in a linear functional language. J. Funct. Program. 10(2): 167-190 (2000)
• 
  Ferruccio Damiani, Paola Giannini:
  Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10(6): 509-559 (2000)
• 
  Pascal Fradet, Julien Mallet:
  Compilation of a specialized functional language for massively parallel computers. J. Funct. Program. 10(6): 561-605 (2000)
• 
  Daniel Fridlender, Mia Indrika:
  Do we need dependent types? J. Funct. Program. 10(4): 409-415 (2000)
• 
  Mayer Goldberg:
  Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. J. Funct. Program. 10(6): 607-623 (2000)
• 
  Bruno Guillaume:
  The lambda-se-calculus does not preserve strong normalisation. J. Funct. Program. 10(4): 321-325 (2000)
• 
  Masahito Hasegawa:
  Girard translation and logical predicates. J. Funct. Program. 10(1): 77-89 (2000)
• 
  Mark Hayden:
  Distributed communication in ML. J. Funct. Program. 10(1): 91-120 (2000)
• 
  Ralf Hinze:
  Perfect trees and bit-reversal permutations. J. Funct. Program. 10(3): 305-317 (2000)
• 
  Ralf Hinze:
  Generalizing generalized tries. J. Funct. Program. 10(4): 327-351 (2000)
• 
  Paul F. Hoogendijk, Oege de Moor:
  Container types categorically. J. Funct. Program. 10(2): 191-225 (2000)
• 
  Yang Jung, Greg Michaelson:
  A visualisation of polymorphic type checking. J. Funct. Program. 10(1): 57-75 (2000)
• 
  Xavier Leroy:
  A modular module system. J. Funct. Program. 10(3): 269-303 (2000)
• 
  Erik Meijer:
  Server side web scripting in Haskell. J. Funct. Program. 10(1): 1-18 (2000)
• 
  Joachim Niehren:
  Uniform confluence in concurrent computation. J. Funct. Program. 10(5): 453-499 (2000)
• 
  Nikolaos Papaspyrou, Dragan Macos:
  A study of evaluation order semantics in expressions with side effects. J. Funct. Program. 10(3): 227-244 (2000)
• 
  Manuel Serrano:
  Bee: an integrated development environment for the Scheme programming language. J. Funct. Program. 10(4): 353-395 (2000)
• 
  J. Michael Spivey:
  Combinators for breadth-first search. J. Funct. Program. 10(4): 397-408 (2000)
• 
  Simon J. Thompson:
  A functional reactive animation of a lift using Fran. J. Funct. Program. 10(3): 245-268 (2000)
• 
  Limsoon Wong:
  Kleisli, a functional query system. J. Funct. Program. 10(1): 19-56 (2000)