Conferences in DBLP
Marc Snir Computer Architectures and Programming Models for Scalable Parallel Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Dror E. Maydan , Saman P. Amarasinghe , Monica S. Lam Array Data-Flow Analysis and its Use in Array Privatization. [Citation Graph (0, 0)][DBLP ] Conf ] Siddhartha Chatterjee , John R. Gilbert , Robert Schreiber , Shang-Hua Teng Automatic Array Alignment in Data-Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Qi Ning , Guang R. Gao A Novel Framework of Register Allocation for Software Pipelining. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Odersky , Dan Rabin , Paul Hudak Call by Name, Assignment, and the Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Weeks , Matthias Felleisen On the Orthogonality of Assignments and Procedures in Algol. [Citation Graph (0, 0)][DBLP ] Conf ] Simon L. Peyton Jones , Philip Wadler Imperative Functional Programming. [Citation Graph (1, 0)][DBLP ] Conf ] G. Berry , S. Ramesh , R. K. Shyamasundar Communicating Reactive Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori , Kazuhiko Kato Semantics for Communication Primitives in an Polymorphic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Damien Doligez , Xavier Leroy A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. [Citation Graph (0, 0)][DBLP ] Conf ] Julia L. Lawall , Olivier Danvy Separating Stages in the Continuation-Passing Style Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Wand Specifying the Correctness of Binding-Time Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] John Launchbury A Natural Semantics for Lazy Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Reynolds An Introduction to Logical Relations and Parametric Polymorphism - Tutorial. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Luca Cardelli , Pierre-Louis Curien Formal Parametric Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. O'Hearn , Robert D. Tennent Relational Parametricity and Local Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Jon G. Riecke , Ramesh Subrahmanyam Algebraic Reasoning and Completeness in Typed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Klarlund , Michael I. Schwartzbach Graph Types. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Harper , Mark Lillibridge Explicit Polymorphism and CPS Conversion. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Leroy Polymorphism by Name for References and Continuations. [Citation Graph (1, 0)][DBLP ] Conf ] Jong-Deok Choi , Michael G. Burke , Paul R. Carini Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Kwangkeun Yi , Williams Ludwell Harrison III Automatic Generation and Management of Interprocedural Program Analyses. [Citation Graph (1, 0)][DBLP ] Conf ] Harini Srinivasan , James Hook , Michael Wolfe Static Single Assignment for Explicitely Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arun Lakhotia Constructing Call Multigraphs Using Dependence Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Kim B. Bruce Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. [Citation Graph (3, 0)][DBLP ] Conf ] Benjamin C. Pierce , David N. Turner Object-Oriented Programming without Recursive Types. [Citation Graph (1, 0)][DBLP ] Conf ] Harry G. Mairson A Constructive Logic of Multiple Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Leivant Stratified Functional Programs and Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Marriott , Peter J. Stuckey The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Villemonte de la Clergerie Layer Sharing: An Improved Structure-Sharing Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Michele Bugliesi Differential Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ali-Reza Adl-Tabatabai , Thomas R. Gross Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Samual Bates , Susan Horwitz Incremental Program Testing Using Program Dependence Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Dhananjay M. Dhamdhere , Uday P. Khedker Complexity of Bidirectional Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Nipkow , Christian Prehofer Type Checking Type Classes. [Citation Graph (1, 0)][DBLP ] Conf ] Dexter Kozen , Jens Palsberg , Michael I. Schwartzbach Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Simon J. Gay A Sort Inference Algorithm for the Polyadic Pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Shao , Andrew W. Appel Smartest Recompilation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Saumya K. Debray , Roberto Giacobazzi Compositional Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Virginia Aponte Extending Record Typing to Type Parametric Modules with Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Shinn-Der Lee , Daniel P. Friedman Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Consel , Olivier Danvy Tutorial Notes on Partial Evaluation. [Citation Graph (2, 0)][DBLP ] Conf ] G. Ramalingam , Thomas W. Reps A Categorized Bibliography on Incremental Computation. [Citation Graph (1, 0)][DBLP ] Conf ] 