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