Conferences in DBLP
Anders Bondorf Improving Binding Times Without Explicit CPS-Conversion. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:1-10 [Conf ] Wei-Ngan Chin Safe Fusion of Functional Expressions. [Citation Graph (1, 0)][DBLP ] LISP and Functional Programming, 1992, pp:11-20 [Conf ] Luc Maranget Compiling Lazy Pattern Matching. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:21-31 [Conf ] Paul R. Wilson , Michael S. Lam , Thomas G. Moher Caching Considerations for Generational Garbage Collection. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:32-42 [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 ] LISP and Functional Programming, 1992, pp:43-52 [Conf ] Benjamin Goldberg , Michael Gloger Polymorphic Type Reconstruction for Garbage Collection Without Tags. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:53-65 [Conf ] Didier Rémy Projective ML. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:66-75 [Conf ] Daniel de Rauglaudre , Michel Mauny Parsers in ML. [Citation Graph (1, 0)][DBLP ] LISP and Functional Programming, 1992, pp:76-85 [Conf ] Sho-Huan Simon Tung Interactive Modular Programming in Scheme. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:86-95 [Conf ] Flemming Nielson , Hanne Riis Nielson Finiteness Conditions for Fixed Point Iteration. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:96-108 [Conf ] Tyng-Ruey Chuang , Benjamin Goldberg A Syntactic Approach to Fixed Point Computation on Finite Domains. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:109-118 [Conf ] Robert Muller , Yuli Zhou Abstract Interpretation in Weak Powerdomains. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:119-126 [Conf ] Marc Neuberger , Prateek Mishra A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:127-138 [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 ] LISP and Functional Programming, 1992, pp:139-150 [Conf ] Mitchell Wand , Dino Oliva Proving the Correctness of Storage Representations. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:151-160 [Conf ] Val Tannen , Ramesh Subrahmanyam On Extending Computational Adequacy by Data Abstraction. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:161-169 [Conf ] Kung Chen , Paul Hudak , Martin Odersky Parametric Type Classes. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:170-181 [Conf ] Giuseppe Castagna , Giorgio Ghelli , Giuseppe Longo A Calculus for Overloaded Functions with Subtyping. [Citation Graph (1, 0)][DBLP ] LISP and Functional Programming, 1992, pp:182-192 [Conf ] Stefan Kaes Type Inference in the Presence of Overloading, Subtyping and Recursive Types. [Citation Graph (1, 0)][DBLP ] LISP and Functional Programming, 1992, pp:193-204 [Conf ] Fritz Henglein Global Tagging Optimization by Type Inference. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:205-215 [Conf ] Edward Wang , Paul N. Hilfinger Analysis of Recursive Types in Lisp-Like Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:216-225 [Conf ] Guillermo Juan Rozas Taming the Y Operator. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:226-234 [Conf ] Robert A. MacLachlan The Python Compiler for CMU Common Lisp. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:235-246 [Conf ] John R. Rose , Hans Muller Integrating the Scheme and C Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:247-259 [Conf ] Wade Henessey WCL: Delivering Efficient Common Lisp Applications Under Unix. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:260-269 [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 ] LISP and Functional Programming, 1992, pp:270-277 [Conf ] Ana Bove , Laura Arbilla A Confluent Calculus of Macro Expansion and Evaluation. [Citation Graph (1, 0)][DBLP ] LISP and Functional Programming, 1992, pp:278-287 [Conf ] Amr Sabry , Matthias Felleisen Reasoning About Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:288-298 [Conf ] Olivier Danvy , Julia L. Lawall Back to Direct Style II: First-Class Continuations. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:299-310 [Conf ] Lorenz Huelsbergen , James R. Larus Dynamic Program Parallelization. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:311-323 [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 ] LISP and Functional Programming, 1992, pp:324-334 [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 ] LISP and Functional Programming, 1992, pp:335-344 [Conf ] Suresh Jagannathan , James Philbin A Foundation for an Efficient Multi-Threaded Scheme System. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1992, pp:345-357 [Conf ]