Conferences in DBLP
John W. Gray A Categorical Treatment of Polymorphic Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Aurelio Carboni , Peter J. Freyd , Andre Scedrov A Categorical Approach to Realizability and Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] György E. Révész Rule-Based Semantics for an Extended Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner Semantics of Block Structured Languages with Pointers. [Citation Graph (0, 0)][DBLP ] Conf ] Ernie Manes Assertional Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Philip S. Mulry Kan Extensions in Effective Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Jimmie D. Lawson The Versatile Continuous Order. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Mislove On the Smyth Power Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Kent The Metric Closure Powerspace Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Karel Hrbacek A Powerdomain Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Steven K. Graham Closure Properties of a Probabilistic Domain Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Smyth Quasi Uniformities: Reconciling Domains with Metric Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre America , Jan J. M. M. Rutten Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Erich Doberkat Topological Completeness in an Ideal Model for Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] Achim Jung New Results on Hierarchies of Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen D. Brookes Semantically Based Axiomatics. [Citation Graph (0, 0)][DBLP ] Conf ] George M. Reed , A. W. Roscoe Metric Spaces as Models for Real-Time Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Coquand , Carl A. Gunter , Glynn Winskel DI-Domains as a Model of Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Kamimura , Adrian Tang Continuous Auxiliary Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Spreen Computable One-to-one Enumerations of Effective Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones , Peter Sestoft , Harald Søndergaard MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joylyn Reed Semantics-Based Tools for a Specification-Support Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Laurette Bradley A Treatment of Languages with Stages of Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Gerlinde Schreiber Operational Semantics and a Distributed Implementation of CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Kim B. Bruce , Jon G. Riecke The Semantics of Miranda's Algebraic Types. [Citation Graph (0, 0)][DBLP ] Conf ] Adrienne Bloss , Paul Hudak Path Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Wells , Michael Barr The Formal Description of Data Types Using Sketches. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Zamfir Initial Algebra Semantics and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe F. Pleban , Peter Lee High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Watt An Action Semantics of Standard ML. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Vickers An Algorithmic Approach to the p-adic Integers. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Benson The Shuffle Bialgebra. [Citation Graph (0, 0)][DBLP ] Conf ] 