Conferences in DBLP
Martin Odersky Functional Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Amtoft , Franklyn A. Turbak Faithful Translations between Polyvariant Flows and Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] Nadia Busi , Gianluigi Zavattaro On the Expressiveness of Event Notification in Data-Driven Coordination Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Cejtin , Suresh Jagannathan , Stephen Weeks Flow-Directed Closure Conversion for Typed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Charatonik Directional Type Checking for Logic Programs: Beyond Discriminative Types. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy Formalizing Implementation Strategies for First-Class Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Ewen Denney , Thomas P. Jensen Correctness of Java Card Method Lookup via Logical Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Elgaard , Anders Møller , Michael I. Schwartzbach Compile-Time Debugging of C Programs Working on Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen Fisher , John H. Reppy , Jon G. Riecke A Calculus for Compiling and Linking Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Heaton , Patricia M. Hill , Andy King Abstract Domains for Universal and Existential Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Hofmann A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Kohei Honda , Vasco Thudichum Vasconcelos , Nobuko Yoshida Secure Information Flow as Typed Process Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob M. Howe , Andy King Implementing Groundness Analysis with Definite Boolean Functions. [Citation Graph (0, 0)][DBLP ] Conf ] John Hughes The Correctness of Type Specialisation. [Citation Graph (0, 0)][DBLP ] Conf ] Mark P. Jones Type Classes with Functional Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Julia L. Lawall , Harry G. Mairson Sharing Continuations: Proofnets for Languages with Explicit Control. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Machkasova , Franklyn A. Turbak A Calculus for Link-Time Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Mauborgne Improving the Representation of Infinite Trees to Deal with Sets of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm , Andreas Wolf On the Translation of Procedures to Finite Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Hanne Riis Nielson , Shmuel Sagiv A Kleene Analysis of Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Conf ] François Pottier A 3-Part Type Inference Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio V. Russo First-Class Structures for Standard ML. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Seidl , Bernhard Steffen Constraint-Based Inter-Procedural Analysis of Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick Smith , David Walker , J. Gregory Morrisett Alias Types. [Citation Graph (0, 0)][DBLP ] Conf ] Scott F. Smith , Tiejun Wang Polyvariant Flow Analysis with Constrained Types. [Citation Graph (0, 0)][DBLP ] Conf ] Hayo Thielecke On Exceptions Versus Continuations in the Presence of State. [Citation Graph (0, 0)][DBLP ] Conf ] J. B. Wells , René Vestergaard Equational Reasoning for Linking with First-Class Primitive Modules. [Citation Graph (0, 0)][DBLP ] Conf ] 