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

• 2022
• 
  Peter Achten, Elena Machkasova:
  Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, TFPIE 2021 / 2022, Kraków, Poland (online), 16th February 2021 / 16th March 2022. EPTCS 363, 2022 [contents]
• 2015
• 
  Manfred Schmidt-Schauß, David Sabel, Elena Machkasova:
  Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq. Log. Methods Comput. Sci. 11(1) (2015)
• 2013
• 
  Manfred Schmidt-Schauß, Elena Machkasova, David Sabel:
  Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings. RTA 2013: 239-254
• 2011
• 
  Manfred Schmidt-Schauß, David Sabel, Elena Machkasova:
  Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Inf. Process. Lett. 111(14): 711-716 (2011)
• 2010
• 
  Manfred Schmidt-Schauß, David Sabel, Elena Machkasova:
  Simulation in the Call-by-Need Lambda-Calculus with letrec. RTA 2010: 295-310
• 2009
• 
  Elena Machkasova, Kevin Arhelger, Fernando Trinciante:
  The observer effect of profiling on dynamic Java optimizations. OOPSLA Companion 2009: 757-758
• 2008
• 
  Manfred Schmidt-Schauß, Elena Machkasova:
  A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case. RTA 2008: 321-335
• 2007
• 
  Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova:
  Optimizing java programs using generic types. OOPSLA Companion 2007: 829-830
• 
  Elena Machkasova:
  Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. WRS@RDP 2007: 147-162
• 2000
• 
  Elena Machkasova, Franklyn A. Turbak:
  A Calculus for Link-Time Compilation. ESOP 2000: 260-274