The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Andrew P. Tolmach
    Tag-Free Garbage Collection Using Explicit Type Parameters. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:1-11 [Conf]
  2. Shail Aditya, Christine H. Flood, James E. Hicks
    Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:12-23 [Conf]
  3. Pascal Fradet
    Collecting More Garbage. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:24-33 [Conf]
  4. James O'Toole, Scott Nettles
    Concurrent Replicating Garbage Collection. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:34-42 [Conf]
  5. Darko Stefanovic, J. Eliot B. Moss
    Characterization of Object Behaviour in Standard ML of New Jersey. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:43-54 [Conf]
  6. Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes
    Signatures for a Network Protocol Stack: A Systems Application of Standard ML. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:55-64 [Conf]
  7. Brian Reistad, David K. Gifford
    Static Dependent Costs for Estimating Execution Time. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:65-78 [Conf]
  8. Lorenz Huelsbergen, James R. Larus, Alexander Aiken
    Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:79-90 [Conf]
  9. Christian Queinnec
    Locality, Causality and Continuations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:91-102 [Conf]
  10. J. H. Jacobs, Mark R. Swanson
    Syntax and Semantics of a Persistent Common Lisp. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:103-112 [Conf]
  11. Harley Davis, Pierre Parquier, Nitsan Séniak
    Talking About Modules and Delivery. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:113-120 [Conf]
  12. Harley Davis, Pierre Parquier, Nitsan Séniak
    Sweet Harmony: The Talk/C++ Connection. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:121-127 [Conf]
  13. William D. Clinger, Lars Thomas Hansen
    Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:128-139 [Conf]
  14. J. Michael Ashley, R. Kent Dybvig
    An Efficient Implementation of Multiple Return Values in Scheme. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:140-149 [Conf]
  15. Zhong Shao, Andrew W. Appel
    Space-Efficient Closure Representations. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:150-161 [Conf]
  16. Cordelia V. Hall
    Using Hindley-Milner Type Inference to Optimise List Representation. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:162-172 [Conf]
  17. Tyng-Ruey Chuang
    A Randomized Implementation of Multiple Functional Arrays. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:173-184 [Conf]
  18. Zhong Shao, John H. Reppy, Andrew W. Appel
    Unrolling Lists. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:185-195 [Conf]
  19. A. J. Kfoury, J. B. Wells
    A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:196-207 [Conf]
  20. Satish R. Thatte
    Semantics of Type Classes Revisited. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:208-219 [Conf]
  21. Stavros S. Cosmadakis
    Complete Proof Systems for Algebraic Simply-Typed Terms. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:220-226 [Conf]
  22. Julia L. Lawall, Olivier Danvy
    Continuation-Based Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:227-238 [Conf]
  23. Hsianlin Dzeng, Christopher T. Haynes
    Type Reconstruction for Variable-Arity Procedures. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:239-249 [Conf]
  24. Andrew K. Wright, Robert Cartwright
    A Practical Soft Type System for Scheme. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:250-262 [Conf]
  25. A. V. S. Sastry, William D. Clinger
    Parallel Destructive Updating in Strict Functional Languages. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:263-272 [Conf]
  26. Jeffrey Dean, Craig Chambers
    Towards Better Inlining Decisions Using Inlining Trials. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:273-282 [Conf]
  27. Sandip K. Biswas
    In-Place Updates in the Presence of Control Operators. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:283-293 [Conf]
  28. Suresh Jagannathan, Stephen Weeks
    Analyzing Stores and References in a Parallel Symbolic Language. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:294-305 [Conf]
  29. Nevin Heintze
    Set-Based Analysis of ML Programs. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:306-317 [Conf]
  30. Dan C. Stefanescu, Yuli Zhou
    An Equational Framework for the Flow Analysis of Higher Order Functional Programs. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:318-327 [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