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

• 1997
• 
  Davide Ancona, Elena Zucca:
  Overriding Operators in a Mixin-Based Framework. PLILP 1997: 47-61
• 
  Sergio Antoy, Zena M. Ariola:
  Narrowing the Narrowing Space. PLILP 1997: 1-15
• 
  Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
  Reflections on Reflections. PLILP 1997: 241-258
• 
  Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez:
  Resolution for Logic Programming with Universal Quantifiers. PLILP 1997: 63-77
• 
  Mats Carlsson, Greger Ottosson, Björn Carlson:
  An Open-Ended Finite Domain Constraint Solver. PLILP 1997: 191-206
• 
  Adriana B. Compagnoni, Maribel Fernández:
  On Object Calculus with Algebraic Rewriting. PLILP 1997: 17-31
• 
  Guy Cousineau:
  Functional Programming and Geometry. PLILP 1997: 309-322
• 
  Norbert Eisinger, Tim Geisler, Sven Panne:
  Logic Implemented Functionally. PLILP 1997: 351-368
• 
  Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
  DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
• 
  Nobuhisa Fujinami:
  Automatic Run-Time Code Generation in Object-Oriented Languages. PLILP 1997: 423-424
• 
  José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz:
  Inheritance and Selective Methods Dispatching in Concurrent Haskell. PLILP 1997: 33-46
• 
  Roberto Giacobazzi, Francesca Scozzari:
  Intuitionistic Implication in Abstract Interpretation. PLILP 1997: 175-189
• 
  Jean-Louis Giavitto, Dominique De Vito, Olivier Michel:
  Semantics and Compilation of Recursive Sequential Streams in 8½. PLILP 1997: 207-223
• 
  Steve Gregory:
  A Declarative Approach to Concurrent Programming. PLILP 1997: 79-93
• 
  Michael Hanus:
  Teaching Functional and Logic Programming with a Single Computational Model. PLILP 1997: 335-350
• 
  Christoph A. Herrmann, Christian Lengauer:
  Transformation of Divide & Conquer to Nested Parallel Loops. PLILP 1997: 95-109
• 
  Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
  Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP 1997: 275-289
• 
  Jan Janousek, Borivoj Melichar:
  Formal Translations Described by Translation Grammars with LR(k) Input Grammars. PLILP 1997: 421-422
• 
  Erik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth:
  A Pragmatic Approach to Compilation of Erlang. PLILP 1997: 419-420
• 
  Salvador Lucas:
  Transformations for Efficient Evaluations in Functional Programming. PLILP 1997: 127-141
• 
  Christian Mossin:
  Higher-Order Value Flow Graphs. PLILP 1997: 159-173
• 
  Kazuhiro Ogata, Kokichi Futatsugi:
  Implementation of Term Rewritings with the Evaluation Strategy. PLILP 1997: 225-239
• 
  Ross Paterson:
  Transforming Lazy Functions Using Comportment Properties. PLILP 1997: 111-125
• 
  David De Roure:
  Introducing the Declarative Dungeon. PLILP 1997: 407-417
• 
  Manuel Serrano:
  Inline Expansion: When and How? PLILP 1997: 143-157
• 
  Jan Sparud, Colin Runciman:
  Tracing Lazy Functional Computations Using Redex Trails. PLILP 1997: 291-308
• 
  Simon J. Thompson:
  Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP 1997: 323-334
• 
  Jon Whittle, Alan Bundy, Helen Lowe:
  An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405
• 
  Hongwei Xi:
  Evaluation Under Lambda Abstraction. PLILP 1997: 259-273
• 
  Hugh Glaser, Pieter H. Hartel, Herbert Kuchen:
  Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1292, Springer 1997, ISBN 3-540-63398-7 [contents]