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

• 1999
• 
  María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
  A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 147-162
• 
  Sergio Antoy, Andrew P. Tolmach:
  Typed Higher-Order Narrowing without Higher-Order Strategies. Fuji International Symposium on Functional and Logic Programming 1999: 335-353
• 
  Adam Bakewell, Colin Runciman:
  Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming 1999: 225-240
• 
  Gilles Barthe, Bernard P. Serpette:
  Partial Evaluation and Non-interference for Object Calculi. Fuji International Symposium on Functional and Logic Programming 1999: 53-67
• 
  Christoph Beierle, Gregor Meyer:
  Using Types as Approximations for Type Checking Prolog Programs. Fuji International Symposium on Functional and Logic Programming 1999: 251-266
• 
  Rafael Caballero, Francisco Javier López-Fraguas:
  A Functional-Logic Perspective on Parsing. Fuji International Symposium on Functional and Logic Programming 1999: 85-99
• 
  Carlos Camarão, Lucília Figueiredo:
  Type Inference for Overloading without Restrictions, Declarations or Annotations. Fuji International Symposium on Functional and Logic Programming 1999: 37-52
• 
  Manuel M. T. Chakravarty:
  Lazy Lexing is Fast. Fuji International Symposium on Functional and Logic Programming 1999: 68-84
• 
  Olivier Danvy:
  An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. Fuji International Symposium on Functional and Logic Programming 1999: 241-250
• 
  Antonio J. Fernández, Patricia M. Hill:
  An Interval Lattice-Based Constraint Solving Framework for Lattices. Fuji International Symposium on Functional and Logic Programming 1999: 194-208
• 
  Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo:
  Semantics and Types in Functional Logic Programming. Fuji International Symposium on Functional and Logic Programming 1999: 1-20
• 
  Michael Hanus, Salvador Lucas:
  A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. Fuji International Symposium on Functional and Logic Programming 1999: 353-368
• 
  Ralf Hinze:
  Polytypic Programming With Ease (Extended Abstract). Fuji International Symposium on Functional and Logic Programming 1999: 21-36
• 
  Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao:
  A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 284-300
• 
  Armin Kühnemann:
  Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. Fuji International Symposium on Functional and Logic Programming 1999: 114-130
• 
  Wolfgang Lux:
  Implementing Encapsulated Search for a Lazy Functional Logic Language. Fuji International Symposium on Functional and Logic Programming 1999: 100-113
• 
  Mircea Marin, Tetsuo Ida, Taro Suzuki:
  On Reducing the Search Space of Higher-Order Lazy Narrowing. Fuji International Symposium on Functional and Logic Programming 1999: 319-334
• 
  Oege de Moor, Ganesh Sittampalam:
  Higher Order Matching for Program Transformation. Fuji International Symposium on Functional and Logic Programming 1999: 209-224
• 
  Mizuhito Ogawa:
  Automatic Verification Based on Abstract Interpretation. Fuji International Symposium on Functional and Logic Programming 1999: 131-146
• 
  Enno Ohlebusch:
  On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems. Fuji International Symposium on Functional and Logic Programming 1999: 179-193
• 
  Atsushi Ohori:
  The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. Fuji International Symposium on Functional and Logic Programming 1999: 300-318
• 
  Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux:
  Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming 1999: 267-283
• 
  Sofie Verbaeten, Danny De Schreye:
  Termination Analysis of Tabled Logic Programs Using Mode and Type Information. Fuji International Symposium on Functional and Logic Programming 1999: 163-178
• 
  Aart Middeldorp, Taisuke Sato:
  Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings. Lecture Notes in Computer Science 1722, Springer 1999, ISBN 3-540-66677-X [contents]