The SCEAS System
Navigation Menu

Conferences in DBLP

ACM Conference on LISP and Functional Programming (LFP) (lfp)
1992 (conf/lfp/1992)

  1. Anders Bondorf
    Improving Binding Times Without Explicit CPS-Conversion. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:1-10 [Conf]
  2. Wei-Ngan Chin
    Safe Fusion of Functional Expressions. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:11-20 [Conf]
  3. Luc Maranget
    Compiling Lazy Pattern Matching. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:21-31 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Didier Rémy
    Projective ML. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:66-75 [Conf]
  8. Daniel de Rauglaudre, Michel Mauny
    Parsers in ML. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:76-85 [Conf]
  9. Sho-Huan Simon Tung
    Interactive Modular Programming in Scheme. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:86-95 [Conf]
  10. 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]
  11. 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]
  12. Robert Muller, Yuli Zhou
    Abstract Interpretation in Weak Powerdomains. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:119-126 [Conf]
  13. 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]
  14. 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]
  15. Mitchell Wand, Dino Oliva
    Proving the Correctness of Storage Representations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:151-160 [Conf]
  16. 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]
  17. Kung Chen, Paul Hudak, Martin Odersky
    Parametric Type Classes. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:170-181 [Conf]
  18. 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]
  19. 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]
  20. Fritz Henglein
    Global Tagging Optimization by Type Inference. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:205-215 [Conf]
  21. 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]
  22. Guillermo Juan Rozas
    Taming the Y Operator. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:226-234 [Conf]
  23. Robert A. MacLachlan
    The Python Compiler for CMU Common Lisp. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:235-246 [Conf]
  24. 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]
  25. Wade Henessey
    WCL: Delivering Efficient Common Lisp Applications Under Unix. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:260-269 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. Lorenz Huelsbergen, James R. Larus
    Dynamic Program Parallelization. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:311-323 [Conf]
  31. 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]
  32. 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]
  33. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002