Conferences in DBLP
Philip Wadler The Essence of Functional Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Georges Gonthier , Martín Abadi , Jean-Jacques Lévy The Geometry of Optimal Lambda Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Filinski Linear Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Lang , Christian Queinnec , José M. Piquer Garbage Collecting the World. [Citation Graph (2, 0)][DBLP ] Conf ] Daniel R. Edelson A Mark-and-Sweep Collector for C++. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , James R. Larus Optimally Profiling and Tracing Programs. [Citation Graph (3, 0)][DBLP ] Conf ] Hanne Riis Nielson , Flemming Nielson Bounded Fixed Point Iteration. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot , Radhia Cousot Inductive Definitions, Semantics and Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Giorgio Levi Modeling Prolog Control. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Rinard , Monica S. Lam Semantic Foundations of Jade. [Citation Graph (0, 0)][DBLP ] Conf ] Dave Berry , Robin Milner , David N. Turner A Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP ] Conf ] Jyh-Herng Chow , Williams Ludwell Harrison III Compile-Time Analysis of Parallel Programs that Share Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Yuh-Jzer Joung , Scott A. Smolka A Comprehensive Study of the Complexity of Multiparty Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori A Compilation Method for ML-Style Polymorphic Record Calculi. [Citation Graph (2, 0)][DBLP ] Conf ] Didier Rémy Typing Record Concatenation for Free. [Citation Graph (1, 0)][DBLP ] Conf ] Xavier Leroy Unboxed Objects and Polymorphic Typing. [Citation Graph (0, 0)][DBLP ] Conf ] Mads Tofte Principal Signatures for Higher-Order Program Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Di Cosmo Type Isomorphisms in a Type-Assignment Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Farnum Pattern-Based Tree Attribution. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney Farrow , Thomas J. Marlowe , Daniel M. Yellin Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Bates , Alon Lavie Recognizing Substrings of LR(k) Languages in Linear Time. [Citation Graph (0, 0)][DBLP ] Conf ] Rajiv Gupta Generalized Dominators and Post-Dominators. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper Jørgensen Generating a Compiler for a Lazy Language by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Vivek Nirkhe , William Pugh Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Qingming Ma Parametricity as Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lincoln , John C. Mitchell Algorithmic Aspects of Type Inference with Subtypes. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin C. Pierce Bounded Quantification is Undecidable. [Citation Graph (2, 0)][DBLP ] Conf ] Kim B. Bruce , John C. Mitchell PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Cartwright , Matthias Felleisen Observable Sequentiality and Full Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Orna Grumberg , David E. Long Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Radha Jagadeesan , Keshav Pingali Abstract Semantics for a Higher-Order Functional Language with Logic Variables. [Citation Graph (0, 0)][DBLP ] Conf ] 