The SCEAS System
Navigation Menu

Conferences in DBLP

ACM SIGPLAN International Conference on Functional Programming (ICFP) (icfp)
1996 (conf/icfp/96)

  1. Simon L. Peyton Jones, Will Partain, André Santos
    Let-floating: Moving Bindings to Give Faster Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:1-12 [Conf]
  2. Amr Sabry, Philip Wadler
    A Reflection on Call-by-Value. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:13-24 [Conf]
  3. Thérèse Hardin, Luc Maranget, Bruno Pagano
    Functional Back-Ends within the Lambda-Sigma Calculus. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:25-33 [Conf]
  4. Niklas Röjemo, Colin Runciman
    Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:34-41 [Conf]
  5. David S. Wise, Joshua Walgenbach
    Static and Dynamic Partitioning of Pointers as Links and Threads. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:42-49 [Conf]
  6. Manuel Serrano, Marc Feeley
    Storage Use Analysis and its Applications. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:50-61 [Conf]
  7. Chris Okasaki
    The Role of Lazy Evaluation in Amortized Data Structures. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:62-72 [Conf]
  8. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Deriving Structural Hylomorphisms From Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:73-82 [Conf]
  9. Martín Abadi, Butler W. Lampson, Jean-Jacques Lévy
    Analysis and Caching of Dependencies. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:83-91 [Conf]
  10. Julia L. Lawall, Harry G. Mairson
    Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:92-101 [Conf]
  11. Brian T. Howard
    Inductive, Coinductive, and Pointed Types. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:102-109 [Conf]
  12. Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
    A New Look to Pattern Matching in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:110-121 [Conf]
  13. François Pottier
    Simplifying Subtyping Constraints. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:122-133 [Conf]
  14. Giorgio Ghelli
    Complexity of Kernel Fun Subtype Checking. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:134-145 [Conf]
  15. Luc Moreau
    The Semantics of Scheme with Future. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:146-156 [Conf]
  16. Franklyn A. Turbak
    First-Class Synchronization Barriers. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:157-168 [Conf]
  17. Cormac Flanagan, Rishiyur S. Nikhil
    pHluid: The Design of a Parallel Functional Language Implementation on Workstations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:169-179 [Conf]
  18. Peter Thiemann
    Cogen in Six Lines. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:180-189 [Conf]
  19. Tyng-Ruey Chuang, Wen L. Hwang
    A Probabilistic Approach to the Problem of Automatic Selection of Data Representations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:190-200 [Conf]
  20. William Ferreira, Matthew Hennessy, Alan Jeffrey
    A Theory of Weak Bisimulation for Core CML. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:201-212 [Conf]
  21. Guy E. Blelloch, John Greiner
    A Provable Time and Space Efficient Implementation of NESL. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:213-225 [Conf]
  22. Paul Caspi, Marc Pouzet
    Synchronous Kahn Networks. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:226-238 [Conf]
  23. Shinn-Der Lee, Daniel P. Friedman
    Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:239-250 [Conf]
  24. Christian Queinnec, David De Roure
    Sharing Code through First-class Environments. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:251-261 [Conf]
  25. Dominic Duggan, Constantinos Sourelis
    Mixin Modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:262-273 [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