Conferences in DBLP

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

1. David N. Turner, Philip Wadler, Christian Mossin
   Once Upon a Type. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:1-11 [Conf]
   
2. Carl A. Gunter, Didier Rémy, Jon G. Riecke
   A Generalization of Exceptions and Control in ML-like Languages. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:12-23 [Conf]
   
3. Peter Thiemann
   Unboxed Values and Polymorphic Typing Revisited. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:24-35 [Conf]
   
4. Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde
   Deriving Imperative Code from Functional Programs. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:36-44 [Conf]
   
5. Robin Sharp, Ole Rasmussen
   Using a Language of Functions and Relations for VLSI Specification. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:45-54 [Conf]
   
6. Massimo Marchiori
   The Functional Side of Logic Programming. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:55-65 [Conf]
   
7. J. Gregory Morrisett, Matthias Felleisen, Robert Harper
   Abstract Models of Memory Management. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:66-77 [Conf]
   
8. Rajiv Mirani, Paul Hudak
   First-Class Schedules and Virtual Maps. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:78-85 [Conf]
   
9. Chris Okasaki
   Purely Functional Random-Access Lists. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:86-95 [Conf]
   
10. J. M. E. Hyland, C.-H. Luke Ong
    Pi-Calculus, Dialogue Games and PCF. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:96-107 [Conf]
    
11. John Hughes, Andrew Moran
    Making Choices Lazily. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:108-119 [Conf]
    
12. Mitchell Wand
    Compiler Correctness for Parallel Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:120-134 [Conf]
    
13. Martin Odersky, Philip Wadler, Martin Wehr
    A Second Look at Overloading. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:135-146 [Conf]
    
14. Mikael Rittri
    Dimension Inference Under Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:147-159 [Conf]
    
15. Mark P. Jones
    Simplifying and Improving Qualified Types. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:160-169 [Conf]
    
16. Patrick Cousot, Radhia Cousot
    Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:170-181 [Conf]
    
17. Alexander Aiken, Manuel Fähndrich
    Dynamic Typing and Subtype Inference. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:182-191 [Conf]
    
18. Fritz Henglein, Jakob Rehof
    Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:192-203 [Conf]
    
19. Shail Aditya, Arvind, Joseph E. Stoy
    Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:204-215 [Conf]
    
20. Klaus E. Schauser, Seth Copen Goldstein
    How Much Non-Strictness do Lenient Programs Require? [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:216-225 [Conf]
    
21. Guy E. Blelloch, John Greiner
    Parallelism in Sequential Functional Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:226-237 [Conf]
    
22. Johan Jeuring
    Polytypic Pattern Matching. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:238-248 [Conf]
    
23. Malcolm Wallace, Colin Runciman
    Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:249-258 [Conf]
    
24. Johan Jeuring, S. Doaitse Swierstra
    Constructing Functional Programs for Grammar Analysis Problems. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:259-269 [Conf]
    
25. Urban Boquist
    Interprocedural Register Allocation for Lazy Functional Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:270-281 [Conf]
    
26. Niklas Röjemo
    Highlights from nhc - a Space-efficient Haskell Compiler. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:282-292 [Conf]
    
27. Marcelo J. R. Gonçalves, Andrew W. Appel
    Cache Performance of Fast-Allocating Programs. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:293-305 [Conf]
    
28. Akihiko Takano, Erik Meijer
    Shortcut Deforestation in Calculational Form. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:306-313 [Conf]
    
29. John Launchbury, Tim Sheard
    Warm Fusion: Deriving Build-Cata's from Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:314-323 [Conf]
    
30. Erik Meijer, Graham Hutton
    Bananas in Space: Extending Fold and Unfold to Exponential Types. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:324-333 [Conf]