Conferences in DBLP
Samson Abramsky , Pasquale Malacaria , Radha Jagadeesan Full Abstraction for PCF. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:1-15 [Conf ] Mariangiola Dezani-Ciancaglini , Ugo de'Liguoro , Adolfo Piperno Fully Abstract Semantics for Concurrent Lambda-calculus. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:16-35 [Conf ] Douglas J. Howe , Scott D. Stoller An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:36-55 [Conf ] Mark P. Jones ML Typing, Explicit Polymorphism and Qualified Types. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:56-75 [Conf ] Jon G. Riecke , Ramesh Subrahmanyam Extensions to Type Systems Can Preserve Operational Equivalences. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:76-95 [Conf ] Paris C. Kanellakis , Dina Q. Goldin Constraint Programming and Database Query Languages. [Citation Graph (8, 0)][DBLP ] TACS, 1994, pp:96-120 [Conf ] Alain Hui-Bon-Hoa Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:121-140 [Conf ] Yves Bertot , Gilles Kahn , Laurent Théry Proof by Pointing. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:141-160 [Conf ] Henri Korver , Jan Springintveld A Computer-Checked Verification of Milner's Scheduler. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:161-178 [Conf ] Masahiko Sato A Purely Functional Language with Encapsulated Assignment. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:179-202 [Conf ] M. R. K. Krishna Rao Simple Termination of Hierarchical Combinations of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:203-223 [Conf ] Yan Mei Tang , Pierre Jouvelot Separate Abstract Interpretation for Control-Flow Analysis. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:224-243 [Conf ] Robert Cartwright , Matthias Felleisen Extensible Denotational Language Specifications. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:244-272 [Conf ] Hideki Tsuiki A Normalizing Calculus with Overloading and Subtyping. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:273-295 [Conf ] Martín Abadi , Luca Cardelli A Theory of Primitive Objects - Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:296-320 [Conf ] Didier Rémy Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:321-346 [Conf ] Kung Chen , Martin Odersky A Type System for a Lambda Calculus with Assignments. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:347-364 [Conf ] Akinori Yonezawa Theory and Practice of Concurrent Object-Oriented Computing. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:365- [Conf ] Andrea Asperti , Cosimo Laneve The Family Relation in Interaction Systems. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:366-384 [Conf ] Ursula Goltz , Roberto Gorrieri , Arend Rensink On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:385-404 [Conf ] Davide Sangiorgi Locality and True-concurrency in Calculi for Mobile Processes. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:405-424 [Conf ] D. J. B. Bosscher Term Rewriting Properties of SOS Axiomatisations. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:425-439 [Conf ] Wan Fokkink The Tyft/Tyxt Format Reduces to Tree Rules. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:440-453 [Conf ] Hans Hüttel Undecidable Equivalences for Basic Parallel Processes. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:454-464 [Conf ] Masako Takahashi , Yohji Akama , Sachio Hirokawa Normal Proofs and Their Grammar. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:465-493 [Conf ] Franco Barbanera , Stefano Berardi A Symmetric Lambda Calculus for "Classical" Program Extraction. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:495-515 [Conf ] Jakob Rehof , Morten Heine Sørensen The LambdaDelta -calculus. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:516-542 [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 ] TACS, 1994, pp:543-554 [Conf ] Philippa Gardner Discovering Needed Reductions Using Type Theory. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:555-574 [Conf ] Moshe Y. Vardi Nontraditional Applications of Automata Theory. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:575-597 [Conf ] Kim Ritter Wagner Abstract Pre-Orders. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:598-617 [Conf ] Amitavo Islam , Wesley Phoa Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. [Citation Graph (1, 0)][DBLP ] TACS, 1994, pp:618-641 [Conf ] Max I. Kanovich Petri Nets, Horn Programs, Linear Logic, and Vector Games. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:642-666 [Conf ] Tatsurou Sekiguchi , Akinori Yonezawa A Complete Type Inference System for Subtyped Recursive Types. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:667-686 [Conf ] Flemming M. Damm Subtyping with Union Types, Intersection Types and Recursive Types. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:687-706 [Conf ] Ferruccio Damiani , Paola Giannini A Decidable Intersection Type System based on Relevance. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:707-725 [Conf ] Zohar Manna , Amir Pnueli Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:726-765 [Conf ] Dominique Bolignano , Mourad Debbabi A Semantic Theory for Concurrent ML. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:766-785 [Conf ] Kohei Honda , Nobuko Yoshida Replication in Concurrent Combinators. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:786-805 [Conf ] Adriano Peron , Andrea Maggiolo-Schettini Transitions as Interrupts: A New Semantics for Timed Statecharts. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:806-821 [Conf ] Marcello M. Bonsangue , Joost N. Kok Relating Multifunctions and Predicate Transformers through Closure Operators. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:822-843 [Conf ] Kathleen Fisher , John C. Mitchell Notes on Typed Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:844-885 [Conf ] Albert R. Meyer Observing Truly Concurrent Processes. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:886- [Conf ]