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

• 2019
• 
  Peter Achten, Heather Miller:
  Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. EPTCS 295, 2019 [contents]
• 2018
• 
  Marco T. Morazán, Josephine A. Des Rosiers:
  FSM Error Messages. TFPIE@TFP 2018: 1-16
• 
  Tsukino Furukawa, Youyou Cong, Kenichi Asai:
  Stepping OCaml. TFPIE@TFP 2018: 17-34
• 
  Marco T. Morazán:
  Vector Programming Using Generative Recursion. TFPIE@TFP 2018: 35-51
• 
  Per Lindgren, Marcus Lindner, Nils Fitinghoff:
  Introducing Certified Compilation in Education by a Functional Language Approach. TFPIE@TFP 2018: 65-78
• 
  Boldizsár Németh, Eunjong Choi, Erina Makihara, Hajimu Iida:
  Investigating Compilation Errors of Students Learning Haskell. TFPIE@TFP 2018: 52-64
• 
  Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu:
  Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics. TFPIE@TFP 2018: 79-90