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

• 1990
• 
  Henk Barendregt, Kees Hemerik:
  Types in Lambda Calculi and Programming Languages. ESOP 1990: 1-35
• 
  Yves Bertot:
  Implementation of an Interpreter for a Parallel Language in Centaur. ESOP 1990: 57-69
• 
  Anders Bondorf:
  Automatic Autoprojection of Higher Order Recursive Equations. ESOP 1990: 70-87
• 
  Charles Consel, Olivier Danvy:
  From Interpreting to Compiling Binding Times. ESOP 1990: 88-105
• 
  Susan Even, David A. Schmidt:
  Type Inference for Action Semantics. ESOP 1990: 118-133
• 
  Matthias Felleisen:
  On the Expressive Power of Programming Languages. ESOP 1990: 134-151
• 
  Benjamin Goldberg, Young Gil Park:
  Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. ESOP 1990: 152-160
• 
  E. Pascal Gribomont:
  Development of Concurrent Systems by Incremental Transformations. ESOP 1990: 161-176
• 
  Reinhold Heckmann:
  Set Domains. ESOP 1990: 177-196
• 
  Leen Helmink:
  Resolution and Type Theory. ESOP 1990: 197-211
• 
  Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman:
  A Syntactic Theory of Transparent Parameterization. ESOP 1990: 212-226
• 
  Thomas P. Jensen, Torben Æ. Mogensen:
  A Backwards Analysis for Compile-time Garbage Collection. ESOP 1990: 227-239
• 
  Martin Jourdan, Didier Parigot:
  Techniques for Improving Grammar Flow Analysis. ESOP 1990: 240-255
• 
  Richard Kennaway:
  The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. ESOP 1990: 256-270
• 
  Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
  Graph-based Implementation of a Functional Logic Langugage. ESOP 1990: 271-290
• 
  Hanne Riis Nielson, Flemming Nielson:
  Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. ESOP 1990: 291-305
• 
  Robert Paige:
  Symbolic Finite Differencing - Part I. ESOP 1990: 36-56
• 
  Maurizio Proietti, Alberto Pettorossi:
  Synthesis of Eureka Predicates for Developing Logic Programs. ESOP 1990: 306-325
• 
  Thomas W. Reps:
  Algebraic Properties of Program Integration. ESOP 1990: 326-340
• 
  Sergei A. Romanenko:
  Arity Raiser and its Use in Program Specialization. ESOP 1990: 341-360
• 
  David Sands:
  Complexity Analysis for a Lazy Higher-Order Language. ESOP 1990: 361-376
• 
  Philippe Schnoebelen, Sophie Pinchinat:
  On the Weak Adequacy of Branching-Time Remporal Logic. ESOP 1990: 377-388
• 
  Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe:
  Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. ESOP 1990: 106-117
• 
  Bernhard Steffen, Jens Knoop, Oliver Rüthing:
  The Value Flow Graph: A Program Representation for Optimal Program Transformations. ESOP 1990: 389-405
• 
  Satish Thatté:
  Type Inference and Implicit Scaling. ESOP 1990: 406-420
• 
  Andrei Voronkov:
  Towards the Theory of Programming in Constructive Logic. ESOP 1990: 421-435
• 
  Neil D. Jones:
  ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Lecture Notes in Computer Science 432, Springer 1990, ISBN 3-540-52592-0 [contents]