Conferences in DBLP
Martín Abadi , Luca Cardelli A Theory of Primitive Objects - Scond-Order Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner Pi-Nets: A Graphical Form of pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Amtoft Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Reif Andersen , Michael Mendler An Asynchronous Algebra with Multiple Clocks. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Andrews Foundational Issues in Implementing Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Berthomieu , Thierry Le Sergent Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Rolf Hennicker , Martin Wirsing Characterizing Behavioural Semantics and Abstractor Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Boerio Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Corrado Böhm , Adolfo Piperno , Stefano Guerrini Lambda-Definition of Function(al)s by Normal Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Karl-Heinz Buth Simulation of SOS Definitions with Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Serafino Cicerone , Francesco Parisi-Presicce Strategies in Modular System Design by Interface Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Marc-Michel Corsini , Antoine Rauzy Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandra Di Pierro , Catuscia Palamidessi A Logical Denotational Semantics for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fradet Compilation of Head and Strong Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Giegerich , Stefan Kurtz Suffix Trees in the Functional Programming Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Cordelia V. Hall , Kevin Hammond , Simon L. Peyton Jones , Philip Wadler Type Classes in Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Hankin , Daniel Le Métayer Lazy Type Inference for the Strictness Analysis of Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Lazy Unification with Simplification. [Citation Graph (0, 0)][DBLP ] Conf ] Fritz Henglein , Christian Mossin Polymorphic Binding-Time Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] C. Barry Jay , J. Robin B. Cockett Shapely Types and Shape Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Jeuring , S. Doaitse Swierstra Bottom-up Grammar Analysis - A Functional Formulation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kahrs First-Class Polymorphism for ML. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Kennedy Dimension Types. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King A Synergistic Analysis for Sharing and Groundness with Traces Linearity. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Z. Li A pi-Calculus Specification of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li A Logical Framework for Evolution of Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] David B. MacQueen , Mads Tofte A Semantics for Higher-Order Functors. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Moreau The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Andy Mück , Thomas Streicher A Tiny Constrain Functional Logic Language and Its Continuation Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. O'Hearn , Jon G. Riecke Fully Abstract Translations and Parametric Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] K. V. S. Prasad Broadcasting with Priority. [Citation Graph (0, 0)][DBLP ] Conf ] Morten Heine Sørensen , Robert Glück , Neil D. Jones Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. [Citation Graph (0, 0)][DBLP ] Conf ] David Walker Algebraic Proofs of Properties of Objects. [Citation Graph (0, 0)][DBLP ] Conf ] 