Conferences in DBLP

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

1. Tobias Nipkow, Gregor Snelting
   Type Classes and Overloading Resolution via Order-Sorted Unification. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:1-14 [Conf]
   
2. Dennis M. Volpano, Geoffrey Smith
   On the Complexity of ML Typability with Overloading. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:15-28 [Conf]
   
3. Satish R. Thatte
   Coercive Type Isomorphism. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:29-49 [Conf]
   
4. Klaus E. Schauser, David E. Culler, Thorsten von Eicken
   Compiler-Controlled Multithreading for Lenient Parallel Languages. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:50-72 [Conf]
   
5. Kenneth R. Traub
   Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:73-101 [Conf]
   
6. Luc Maranget
   GAML: a Parallel Implementation of Lazy ML. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:102-123 [Conf]
   
7. Erik Meijer, Maarten M. Fokkinga, Ross Paterson
   Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:124-144 [Conf]
   
8. John Launchbury
   A Strongly-Typed Self-Applicable Partial Evaluator. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:145-164 [Conf]
   
9. Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman
   Automatic Online Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   FPCA, 1991, pp:165-191 [Conf]
   
10. Vipin Swarup, Uday S. Reddy, Evan Ireland
    Assignments for Applicative Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:192-214 [Conf]
    
11. David Wakeling, Colin Runciman
    Linearity and Laziness. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:215-240 [Conf]
    
12. Pascal Fradet
    Syntactic Detection of Single-Threading Using Continuations. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:241-258 [Conf]
    
13. David J. Lillie, Peter G. Harrison
    A Projection Model of Types. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:259-288 [Conf]
    
14. Gudmund Skovbjerg Frandsen, Carl Sturtivant
    What is an Efficient Implementation of the \lambda-calculus? [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:289-312 [Conf]
    
15. Harry G. Mairson
    Outline of a Proof Theory of Parametricity. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:313-327 [Conf]
    
16. Allen Leung, Prateek Mishra
    Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:328-351 [Conf]
    
17. Thomas P. Jensen
    Strictness Analysis in Logical Form. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:352-366 [Conf]
    
18. Gebreselassie Baraki
    A Note on Abstract Interpretation of Polymorphic Functions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:367-378 [Conf]
    
19. Shail Aditya, Rishiyur S. Nikhil
    Incremental Polymorphism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:379-405 [Conf]
    
20. Xavier Leroy, Michel Mauny
    Dynamics in ML. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:406-426 [Conf]
    
21. Alexander Aiken, Brian R. Murphy
    Implementing Regular Tree Expressions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:427-447 [Conf]
    
22. Fritz Henglein
    Efficient Type Inference for Higher-Order Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:448-472 [Conf]
    
23. Carsten Kehler Holst
    Finiteness Analysis. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:473-495 [Conf]
    
24. Charles Consel, Olivier Danvy
    For a Better Support of Static Data Flow. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:496-519 [Conf]
    
25. Tzi-cker Chiueh
    An Architectural Technique for Cache-level Garbage Collection. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:520-537 [Conf]
    
26. Paul S. Barth, Rishiyur S. Nikhil, Arvind
    M-Structures: Extending a Parallel, Non-strict, Functional Language with State. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:538-568 [Conf]
    
27. Michael L. Heytens, Rishiyur S. Nikhil
    List Comprehensions in Agna, A Parallel Persistant Object System. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:569-591 [Conf]
    
28. Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer
    Generating Efficient Code for Lazy Functional Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:592-617 [Conf]
    
29. John Hannan
    Making Abstract Machines Less Abstract. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:618-635 [Conf]
    
30. Simon L. Peyton Jones, John Launchbury
    Unboxed Values as First Class Citizens in a Non-Strict Functional Language. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:636-666 [Conf]