Conferences in DBLP
Samson Abramsky , Pasquale Malacaria , Radha Jagadeesan Full Abstraction for PCF. [Citation Graph (0, 0)][DBLP ] Conf ] Mariangiola Dezani-Ciancaglini , Ugo de'Liguoro , Adolfo Piperno Fully Abstract Semantics for Concurrent Lambda-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas J. Howe , Scott D. Stoller An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Mark P. Jones ML Typing, Explicit Polymorphism and Qualified Types. [Citation Graph (0, 0)][DBLP ] Conf ] Jon G. Riecke , Ramesh Subrahmanyam Extensions to Type Systems Can Preserve Operational Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] Paris C. Kanellakis , Dina Q. Goldin Constraint Programming and Database Query Languages. [Citation Graph (8, 0)][DBLP ] Conf ] Alain Hui-Bon-Hoa Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bertot , Gilles Kahn , Laurent Théry Proof by Pointing. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Korver , Jan Springintveld A Computer-Checked Verification of Milner's Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Sato A Purely Functional Language with Encapsulated Assignment. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao Simple Termination of Hierarchical Combinations of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Mei Tang , Pierre Jouvelot Separate Abstract Interpretation for Control-Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Cartwright , Matthias Felleisen Extensible Denotational Language Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hideki Tsuiki A Normalizing Calculus with Overloading and Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Luca Cardelli A Theory of Primitive Objects - Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Rémy Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. [Citation Graph (0, 0)][DBLP ] Conf ] Kung Chen , Martin Odersky A Type System for a Lambda Calculus with Assignments. [Citation Graph (0, 0)][DBLP ] Conf ] Akinori Yonezawa Theory and Practice of Concurrent Object-Oriented Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti , Cosimo Laneve The Family Relation in Interaction Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Goltz , Roberto Gorrieri , Arend Rensink On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Sangiorgi Locality and True-concurrency in Calculi for Mobile Processes. [Citation Graph (0, 0)][DBLP ] Conf ] D. J. B. Bosscher Term Rewriting Properties of SOS Axiomatisations. [Citation Graph (0, 0)][DBLP ] Conf ] Wan Fokkink The Tyft/Tyxt Format Reduces to Tree Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Hüttel Undecidable Equivalences for Basic Parallel Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Masako Takahashi , Yohji Akama , Sachio Hirokawa Normal Proofs and Their Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Franco Barbanera , Stefano Berardi A Symmetric Lambda Calculus for "Classical" Program Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Jakob Rehof , Morten Heine Sørensen The LambdaDelta -calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Zena M. Ariola , Richard Kennaway , Jan Willem Klop , M. Ronan Sleep , Fer-Jan de Vries Syntactic Definitions of Undefined: On Defining the Undefined. [Citation Graph (0, 0)][DBLP ] Conf ] Philippa Gardner Discovering Needed Reductions Using Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Y. Vardi Nontraditional Applications of Automata Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Ritter Wagner Abstract Pre-Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Amitavo Islam , Wesley Phoa Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. [Citation Graph (1, 0)][DBLP ] Conf ] Max I. Kanovich Petri Nets, Horn Programs, Linear Logic, and Vector Games. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsurou Sekiguchi , Akinori Yonezawa A Complete Type Inference System for Subtyped Recursive Types. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming M. Damm Subtyping with Union Types, Intersection Types and Recursive Types. [Citation Graph (0, 0)][DBLP ] Conf ] Ferruccio Damiani , Paola Giannini A Decidable Intersection Type System based on Relevance. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Amir Pnueli Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Bolignano , Mourad Debbabi A Semantic Theory for Concurrent ML. [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Honda , Nobuko Yoshida Replication in Concurrent Combinators. [Citation Graph (0, 0)][DBLP ] Conf ] Adriano Peron , Andrea Maggiolo-Schettini Transitions as Interrupts: A New Semantics for Timed Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello M. Bonsangue , Joost N. Kok Relating Multifunctions and Predicate Transformers through Closure Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen Fisher , John C. Mitchell Notes on Typed Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer Observing Truly Concurrent Processes. [Citation Graph (0, 0)][DBLP ] Conf ] 