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

• 2005
• 
  Martín Abadi, Greg Morrisett, Andrei Sabelfeld:
  "Language-Based Security". J. Funct. Program. 15(2): 129 (2005)
• 
  Lloyd Allison:
  Models for machine learning and data mining in functional programming. J. Funct. Program. 15(1): 15-32 (2005)
• 
  Anindya Banerjee, David A. Naumann:
  Stack-based access control and secure information flow. J. Funct. Program. 15(2): 131-177 (2005)
• 
  Nick Benton:
  Embedded interpreters. J. Funct. Program. 15(4): 503-542 (2005)
• 
  Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen:
  Interfaces for stack inspection. J. Funct. Program. 15(2): 179-217 (2005)
• 
  Richard S. Bird, Shin-Cheng Mu:
  Countdown: A case study in Origami programming. J. Funct. Program. 15(5): 679-702 (2005)
• 
  Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter:
  Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
• 
  Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
  Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005)
• 
  Chiyan Chen, Hongwei Xi:
  Meta-programming through typeful code representation. J. Funct. Program. 15(5): 797-835 (2005)
• 
  Karl Crary, Aleksey Kliger, Frank Pfenning:
  A monadic analysis of information flow security with mutable state. J. Funct. Program. 15(2): 249-291 (2005)
• 
  René David, Georges Mounier:
  An intuitionistic [lambda]-calculus with exceptions. J. Funct. Program. 15(1): 33-52 (2005)
• 
  Erick Gallesio, Manuel Serrano:
  Skribe: a functional authoring language. J. Funct. Program. 15(5): 751-770 (2005)
• 
  Clemens Grelck:
  Shared memory multiprocessor support for functional array processing in SAC. J. Funct. Program. 15(3): 353-401 (2005)
• 
  Víctor M. Gulías, Miguel Barreiro, José Luis Freire:
  VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. J. Funct. Program. 15(3): 403-430 (2005)
• 
  William L. Harrison, Richard B. Kieburtz:
  The logic of demand in Haskell. J. Funct. Program. 15(5): 837-891 (2005)
• 
  Ralf Hinze:
  Church numerals, twice! J. Funct. Program. 15(1): 1-13 (2005)
• 
  Kohei Honda, Nobuko Yoshida:
  Noninterference through flow analysis. J. Funct. Program. 15(2): 293-349 (2005)
• 
  Gérard P. Huet:
  A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. J. Funct. Program. 15(4): 573-614 (2005)
• 
  Fairouz Kamareddine:
  Typed lambda-calculi with one binder. J. Funct. Program. 15(5): 771-796 (2005)
• 
  Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí:
  Parallel functional programming in Eden. J. Funct. Program. 15(3): 431-475 (2005)
• 
  Edward A. Luke, Thomas George:
  Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis. J. Funct. Program. 15(3): 477-502 (2005)
• 
  Aleksandar Nanevski, Frank Pfenning:
  Staged computation with names and necessity. J. Funct. Program. 15(5): 893-939 (2005)
• 
  Peter Møller Neergaard:
  Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof. J. Funct. Program. 15(5): 669-677 (2005)
• 
  Kurt Nørmark:
  Web programming in Scheme with LAML. J. Funct. Program. 15(1): 53-65 (2005)
• 
  Ricardo Peña-Marí, Clara Segura:
  Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005)
• 
  Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
  Quantitative static analysis of distributed systems. J. Funct. Program. 15(5): 703-749 (2005)
• 
  Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig:
  Educational Pearl: A Nanopass framework for compiler education. J. Funct. Program. 15(5): 653-667 (2005)
• 
  Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow:
  A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15(4): 615-650 (2005)
• 
  Vasco Thudichum Vasconcelos:
  Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. 15(1): 101-127 (2005)