Conferences in DBLP
Anders Bondorf Improving Binding Times Without Explicit CPS-Conversion. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Ngan Chin Safe Fusion of Functional Expressions. [Citation Graph (1, 0)][DBLP ] Conf ] Luc Maranget Compiling Lazy Pattern Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Wilson , Michael S. Lam , Thomas G. Moher Caching Considerations for Generational Garbage Collection. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Cooper , Scott Nettles , Indira Subramanian Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Goldberg , Michael Gloger Polymorphic Type Reconstruction for Garbage Collection Without Tags. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Rémy Projective ML. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel de Rauglaudre , Michel Mauny Parsers in ML. [Citation Graph (1, 0)][DBLP ] Conf ] Sho-Huan Simon Tung Interactive Modular Programming in Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Hanne Riis Nielson Finiteness Conditions for Fixed Point Iteration. [Citation Graph (0, 0)][DBLP ] Conf ] Tyng-Ruey Chuang , Benjamin Goldberg A Syntactic Approach to Fixed Point Computation on Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Muller , Yuli Zhou Abstract Interpretation in Weak Powerdomains. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Neuberger , Prateek Mishra A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jawahar Chirimar , Carl A. Gunter , Jon G. Riecke Proving Memory Management Invariants for a Language Based on Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell Wand , Dino Oliva Proving the Correctness of Storage Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Val Tannen , Ramesh Subrahmanyam On Extending Computational Adequacy by Data Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Kung Chen , Paul Hudak , Martin Odersky Parametric Type Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Castagna , Giorgio Ghelli , Giuseppe Longo A Calculus for Overloaded Functions with Subtyping. [Citation Graph (1, 0)][DBLP ] Conf ] Stefan Kaes Type Inference in the Presence of Overloading, Subtyping and Recursive Types. [Citation Graph (1, 0)][DBLP ] Conf ] Fritz Henglein Global Tagging Optimization by Type Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Edward Wang , Paul N. Hilfinger Analysis of Recursive Types in Lisp-Like Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Guillermo Juan Rozas Taming the Y Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. MacLachlan The Python Compiler for CMU Common Lisp. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Rose , Hans Muller Integrating the Scheme and C Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Wade Henessey WCL: Delivering Efficient Common Lisp Applications Under Unix. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Nagasaka , Yoshihiro Shintani , Tanji Ito , Hiroshi Gomi , Junichi Takahashi Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Bove , Laura Arbilla A Confluent Calculus of Macro Expansion and Evaluation. [Citation Graph (1, 0)][DBLP ] Conf ] Amr Sabry , Matthias Felleisen Reasoning About Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy , Julia L. Lawall Back to Direct Style II: First-Class Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenz Huelsbergen , James R. Larus Dynamic Program Parallelization. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth R. Traub , David E. Culler , Klaus E. Schauser Global Analysis for Partitioning Non-Strict Programs into Sequential Threads. [Citation Graph (0, 0)][DBLP ] Conf ] Owen Kaser , Shaunak Pawagi , C. R. Ramakrishnan , I. V. Ramakrishnan , R. C. Sekar Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Suresh Jagannathan , James Philbin A Foundation for an Efficient Multi-Threaded Scheme System. [Citation Graph (0, 0)][DBLP ] Conf ] 