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

• 2001
• 
  Elvira Albert, Michael Hanus, Germán Vidal:
  A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342
• 
  Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
  A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. FLOPS 2001: 153-169
• 
  Gianluca Amato, Fausto Spoto:
  Abstract Compilation for Sharing Analysis. FLOPS 2001: 311-325
• 
  Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
  An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
• 
  Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
  Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. FLOPS 2001: 170-184
• 
  Kwanghoon Choi, Hyun-il Lim, Taisook Han:
  Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. FLOPS 2001: 92-107
• 
  Olivier Danvy, Lasse R. Nielsen:
  A Higher-Order Colon Translation. FLOPS 2001: 78-91
• 
  Olivier Danvy, Morten Rhiger:
  A Simple Take on Typed Abstract Syntax in Haskell-like Languages. FLOPS 2001: 343-358
• 
  Giorgio Delzanno:
  Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. FLOPS 2001: 123-137
• 
  Pierre Deransart, Jan-Georg Smaus:
  Well-Typed Logic Programs Are not Wrong. FLOPS 2001: 280-295
• 
  César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
  Incremental Learning of Functional Logic Programs. FLOPS 2001: 233-247
• 
  Maria Teresa Hortalá-González, Eva Ullán:
  An Abstract Machine Based System for a Lazy Narrowing Calculus. FLOPS 2001: 216-232
• 
  Koji Kagawa:
  Monadic Encapsulation with Stack of Regions. FLOPS 2001: 264-279
• 
  Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
  Refining the Barendregt Cube Using Parameters. FLOPS 2001: 375-390
• 
  Vitaly Lagoon, Peter J. Stuckey:
  A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
• 
  Javier Leach, Susana Nieva:
  A Higher-Order Logic Programming Language with Constraints. FLOPS 2001: 108-122
• 
  Wolfgang Lux:
  Adding Linear Constraints over Real Numbers to Curry. FLOPS 2001: 185-200
• 
  Gopalan Nadathur:
  The Metalanguage lambda-Prolog and Its Implementation. FLOPS 2001: 1-20
• 
  George C. Necula:
  A Scalable Architecture for Proof-Carrying Code. FLOPS 2001: 21-39
• 
  Jeff Polakow, Kwangkeun Yi:
  Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS 2001: 61-77
• 
  Taisuke Sato:
  Parameterized Logic Programs where Computing Meets Learning. FLOPS 2001: 40-60
• 
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama:
  A Simply Typed Context Calculus with First-Class Environments. FLOPS 2001: 359-374
• 
  Martin Sulzmann:
  A General Type Inference Framework for Hindley/Milner Style Systems. FLOPS 2001: 248-263
• 
  Taro Suzuki, Aart Middeldorp:
  A Complete Selection Function for Lazy Conditional Narrowing. FLOPS 2001: 201-215
• 
  Herbert Kuchen, Kazunori Ueda:
  Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings. Lecture Notes in Computer Science 2024, Springer 2001, ISBN 3-540-41739-7 [contents]