The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Functional Programming Languages and Computer Architecture (FPCA) (fpca)
1985 (conf/fpca/85)

  1. D. A. Turner
    Miranda: A Non-Strict Functional language with Polymorphic Types. [Citation Graph (6, 0)][DBLP]
    FPCA, 1985, pp:1-16 [Conf]
  2. Stephen K. Skedzielewski, M. L. Welcome
    Data Flow Graph Optimization in IF1. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:17-34 [Conf]
  3. Chris D. Clack, Simon L. Peyton Jones
    Strictness Analysis - A Practical Approach. [Citation Graph (2, 0)][DBLP]
    FPCA, 1985, pp:35-49 [Conf]
  4. Guy Cousineau, Pierre-Louis Curien, Michel Mauny
    The Categorical Abstract Machine. [Citation Graph (2, 0)][DBLP]
    FPCA, 1985, pp:50-64 [Conf]
  5. Patrick Bellot
    High Order Programming in Extended FP. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:65-80 [Conf]
  6. Samson Abramsky, R. Sykes
    Secd-m: a Virtual Machine for Applicative Programming. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:81-98 [Conf]
  7. Chris Hankin, Peter Osmon, Malcolm J. Shute
    COBWEB - A Combinator Reduction Architecture. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:99-112 [Conf]
  8. Philip Wadler
    How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:113-128 [Conf]
  9. John Hughes
    Lazy Memo-functions. [Citation Graph (3, 0)][DBLP]
    FPCA, 1985, pp:129-146 [Conf]
  10. David A. Plaisted
    An Architecture for fast Data Movement in the FFP Machine. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:147-163 [Conf]
  11. John T. O'Donnell
    An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:164-189 [Conf]
  12. Thomas Johnsson
    Lambda Lifting: Treansforming Programs to Recursive Equations. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:190-203 [Conf]
  13. Saumya K. Debray
    Optimizing Almost-Tail-Recursive Prolog Programs. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:204-219 [Conf]
  14. Mary Sheeran
    Designing Regular Array Architectures using Higher Order Functions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:220-237 [Conf]
  15. Dorab Patel, Martine D. F. Schlag, Milos D. Ercegovac
    vFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:238-255 [Conf]
  16. John Hughes
    A Distributed Garbage Collection Algorithm. [Citation Graph (2, 0)][DBLP]
    FPCA, 1985, pp:256-271 [Conf]
  17. David R. Brownbridge
    Cyclic Reference Counting for Combinator Machines. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:273-288 [Conf]
  18. David S. Wise
    Design for a Multiprocessing Heap with On-board Reference Counting. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:289-304 [Conf]
  19. Mark F. Young
    A Functional Language and Modular Architecture for Scientific Computing. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:305-318 [Conf]
  20. Rishiyur S. Nikhil
    Practical Polymorphism. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:319-333 [Conf]
  21. Peter Dybjer
    Program Verification in a Logical Theory of Constructions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:334-349 [Conf]
  22. V. J. Bush, John R. Gurd
    Transforming Recursive Programs for Execution on Parallel Machines. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:350-367 [Conf]
  23. Lennart Augustsson
    Compiling Pattern Matching. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:368-381 [Conf]
  24. Paul Hudak, Benjamin Goldberg
    Serial Combinators: ``Optimal'' Grains of Parallelism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1985, pp:382-399 [Conf]
  25. Richard B. Kieburtz
    The G-Machine: A Fast, Graph-Reduction Evaluator. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:400-413 [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