Conferences in DBLP
Henk Barendregt , Kees Hemerik Types in Lambda Calculi and Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Paige Symbolic Finite Differencing - Part I. [Citation Graph (2, 0)][DBLP ] Conf ] Yves Bertot Implementation of an Interpreter for a Parallel Language in Centaur. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Bondorf Automatic Autoprojection of Higher Order Recursive Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Consel , Olivier Danvy From Interpreting to Compiling Binding Times. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Susan Even , David A. Schmidt Type Inference for Action Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Felleisen On the Expressive Power of Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Goldberg , Young Gil Park Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] E. Pascal Gribomont Development of Concurrent Systems by Incremental Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhold Heckmann Set Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Leen Helmink Resolution and Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley Jefferson , Shinn-Der Lee , Daniel P. Friedman A Syntactic Theory of Transparent Parameterization. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Jensen , Torben Æ. Mogensen A Backwards Analysis for Compile-time Garbage Collection. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Jourdan , Didier Parigot Techniques for Improving Grammar Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Kennaway The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Hanne Riis Nielson , Flemming Nielson Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Proietti , Alberto Pettorossi Synthesis of Eureka Predicates for Developing Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps Algebraic Properties of Program Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Romanenko Arity Raiser and its Use in Program Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] David Sands Complexity Analysis for a Lazy Higher-Order Language. [Citation Graph (0, 0)][DBLP ] Conf ] Ph. Schnoebelen , Sophie Pinchinat On the Weak Adequacy of Branching-Time Remporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Jens Knoop , Oliver Rüthing The Value Flow Graph: A Program Representation for Optimal Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Satish Thatte Type Inference and Implicit Scaling. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov Towards the Theory of Programming in Constructive Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 