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

• 1998
• 
  Sergei M. Abramov, Robert Glück:
  Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. Fuji International Symposium on Functional and Logic Programming 1998: 247-270
• 
  Peter Borovanský, Claude Kirchner, Hélène Kirchner:
  A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming 1998: 143-166
• 
  Manuel M. T. Chakravarty, Yike Guo, Martin Köhler:
  Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming 1998: 80-97
• 
  Pierre-Louis Curien, Hugo Herbelin:
  Computing with Abstract Böhm Trees. Fuji International Symposium on Functional and Logic Programming 1998: 20-39
• 
  Olivier Danvy:
  Online Type-Directed Partial Evaluation. Fuji International Symposium on Functional and Logic Programming 1998: 271-295
• 
  Ralf Hinze:
  Prological Features in a Functional Setting Axioms and Implementation. Fuji International Symposium on Functional and Logic Programming 1998: 98-122
• 
  Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima:
  On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming 1998: 123-142
• 
  Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi:
  Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79
• 
  Edgar F. A. Lederer, Romeo A. Dumitrescu:
  Two-Stage Programming. Fuji International Symposium on Functional and Logic Programming 1998: 296-313
• 
  Hiroyuki Miyoshi:
  Rewriting Logic for Cyclic Sharing Structures (extended abstract). Fuji International Symposium on Functional and Logic Programming 1998: 167-186
• 
  Nadia Nedjah:
  Postponing Redex Contractions in Equational Programs. Fuji International Symposium on Functional and Logic Programming 1998: 40-60
• 
  Takafumi Sakurai:
  Categorial Model Construction for Proving Syntactic Properties. Fuji International Symposium on Functional and Logic Programming 1998: 187-206
• 
  Masako Takahashi:
  Lambda-representable Functions over Free Structures Revisited. Fuji International Symposium on Functional and Logic Programming 1998: 1-19
• 
  Izumi Takeuti:
  A Type Theory for Cyclic Strcture. Fuji International Symposium on Functional and Logic Programming 1998: 207-226
• 
  Yasuyuki Tsukada:
  Type-free Equational Reasoning in the Theeory of Inductively Defined Types. Fuji International Symposium on Functional and Logic Programming 1998: 227-246
• 
  Masahiko Sato, Yoshihito Toyama:
  Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998. World Scientific, Singapore 1998, ISBN 981-02-3384-1 [contents]