Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kenneth R. Traub |
Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 75-88, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Michel Mauny |
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 360-370, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
1 | Torben Æ. Mogensen |
Separating Binding Times in Language Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 14-25, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ruf, Daniel Weise |
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 327-339, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Andrew Dwelly |
Functions and Dynamic User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 371-381, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sestoft |
Replacing Function Parameters by Global Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 39-53, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Shlomit Weiss, Ilan Y. Spillinger, Gabriel M. Silberman |
Architectural Improvements for Data-Driven VLSI Processing Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 243-259, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Guy Argo |
Improving the Three Instruction Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 100-115, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell |
F-Bounded Polymorphism for Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 273-280, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand, Patrick O'Keefe |
On the Complexity of Type Inference with Coercion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 293-298, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Augustsson, Thomas Johnsson |
Parallel Graph Reduction with the -Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 202-213, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Lal George |
An Abstract Machine for Parallel Graph Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 214-229, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Jon Salkild |
The Spineless Tagless G-Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 184-201, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Simon B. Jones, Daniel Le Métayer |
Computer-Time Garbage Collection by Sharing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 54-74, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Kavi Arya |
Processes in a Functional Animation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 382-395, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
CSP |
1 | Frank S. K. Silbermann, Bharat Jayaraman |
Set Abstraction in Functional and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 313-326, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | John Peterson |
Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 89-99, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Transformations on Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 129-143, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML, Miranda |
1 | Yukihide Takayama |
Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 299-312, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Tsung-Min Kuo, Prateek Mishra |
Strictness Analysis: A New Perspective Based on Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 260-272, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Theorems for Free! ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 347-359, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
P-TAC: A Parallel Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 230-242, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Ohori |
A Simple Semantics for ML Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 281-292, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
1 | Adrienne G. Bloss |
Update Analysis and the Efficient Implementation of Functional Aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 26-38, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Bror Bjerner, Sören Holmström |
A Composition Approach to Time Analysis of First Order Lazy Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 157-165, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Rittri |
Using Types as Search Keys in Function Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 174-183, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mads Rosendahl |
Automatic Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 144-156, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Joseph E. Stoy (eds.) |
Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![ACM, 0-201-51389-7 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | T. J. W. Clarke |
The D-RISC: An architecture for use in multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 16-33, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Dueire Lins |
Categorical multi-combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 60-79, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bellot, Véronique Jay |
A theory for natural modelisation and implementation of functions with variable arity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 212-233, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Livingston Burn |
Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 446-470, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David S. Wise |
Matrix algebra and applicative programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 134-153, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jon Fairbairn, Stuart Wray |
TIM: A simple, lazy abstract machine to execute supercombinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 34-45, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Goldberg |
Detecting sharing of partial applications in functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 408-425, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ian Toyn, Alan J. Dix, Colin Runciman |
Performance polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 325-346, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thomas R. Gross, Alan Sussman |
Mapping a single-assignment language onto the Warp systolic array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 347-363, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Johnsson |
Attribute grammars as a functional programming paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 154-173, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Carlos A. Ruggiero, John Sargeant |
Control of parallelism in the Manchester Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 1-15, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler, R. J. M. Hughes |
Projections for strictness analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 385-407, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman, David A. Plaisted |
Functional programming with sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 194-211, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Gautier, Paul Le Guernic |
SIGNAL: A declarative language for synchronous programming of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 257-277, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Stephen C. North, John H. Reppy |
Concurrent garbage collection on stock hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 113-133, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Chris Martin, Chris Hankin |
Finding fixed points in finite lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 426-445, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David R. Lester |
The G-machine as a representation of stack semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 46-59, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Lyndon While |
Controlling the behaviour of functional language systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 278-300, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Martine D. F. Schlag |
The planar topology of functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 174-193, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Kahn (eds.) |
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![Springer, 3-540-18317-5 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak, Steven Anderson |
Pomset interpretations of parallel functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 234-256, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Appel, David B. MacQueen |
A Standard ML compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 301-324, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie |
GRIP - A high-performance architecture for parallel graph reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 98-112, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Paul Watson 0001, Ian Watson |
Evaluating functional programs on the FLAGSHIP machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 80-97, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer |
CLEAN: A language for functional graph writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, pp. 364-384, 1987, Springer, 3-540-18317-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Johnsson |
Lambda Lifting: Treansforming Programs to Recursive Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 190-203, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Saumya K. Debray |
Optimizing Almost-Tail-Recursive Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 204-219, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | D. A. Turner |
Miranda: A Non-Strict Functional language with Polymorphic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 1-16, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Augustsson |
Compiling Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 368-381, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David A. Plaisted |
An Architecture for fast Data Movement in the FFP Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 147-163, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil |
Practical Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 319-333, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Dorab Patel, Martine D. F. Schlag, Milos D. Ercegovac |
vFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 238-255, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz |
The G-Machine: A Fast, Graph-Reduction Evaluator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 400-413, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Guy Cousineau, Pierre-Louis Curien, Michel Mauny |
The Categorical Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 50-64, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, R. Sykes |
Secd-m: a Virtual Machine for Applicative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 81-98, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud (eds.) |
Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![Springer, 3-540-15975-4 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Peter Osmon, Malcolm J. Shute |
COBWEB - A Combinator Reduction Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 99-112, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bellot |
High Order Programming in Extended FP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 65-80, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | V. J. Bush, John R. Gurd |
Transforming Recursive Programs for Execution on Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 350-367, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mark F. Young |
A Functional Language and Modular Architecture for Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 305-318, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
Lazy Memo-functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 129-146, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Stephen K. Skedzielewski, M. L. Welcome |
Data Flow Graph Optimization in IF1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 17-34, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dybjer |
Program Verification in a Logical Theory of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 334-349, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Chris D. Clack, Simon L. Peyton Jones |
Strictness Analysis - A Practical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 35-49, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David S. Wise |
Design for a Multiprocessing Heap with On-board Reference Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 289-304, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David R. Brownbridge |
Cyclic Reference Counting for Combinator Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 273-288, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John T. O'Donnell |
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 164-189, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 113-128, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mary Sheeran |
Designing Regular Array Architectures using Higher Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 220-237, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak, Benjamin Goldberg |
Serial Combinators: "Optimal" Grains of Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 382-399, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
A Distributed Garbage Collection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings, pp. 256-271, 1985, Springer, 3-540-15975-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Bruce J. MacLennan |
Introduction to relational programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 213-220, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Berry |
Programming with concrete data structures and sequential algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 49-58, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John V. Guttag, James J. Horning, John Williams |
FP with data abstraction and strong typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 11-24, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Vishv M. Malhotra, V. Rajaraman |
A data-flow language for specifying business data processing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 203-212, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Jack B. Dennis (eds.) |
Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![ACM, 0-89791-060-5 The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
1 | Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001 |
Operators and algebraic structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 59-64, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | D. A. Turner |
The semantic elegance of applicative languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 85-92, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey A. Frank |
Specification of data structures for FP programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 221-228, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gyula Magó |
Copying operands versus copying results: A solution to the problem of large operands in FFP'S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 93-98, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Rex L. Page, M. G. Conant, Dale H. Grit |
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 179-186, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Noorul Islam, Thomas J. Myers, Paul Broome |
A simple optimizer for FP-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 33-40, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | F. Warren Burton, M. Ronan Sleep |
Executing functional programs on a virtual tree of processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 187-194, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John S. Conery, Dennis F. Kibler |
Parallel interpretation of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 163-170, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Keller, Gary Lindstrom |
Applications of feedback in functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 123-130, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz, Jonathan C. Shultis |
Transformations of FP program schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 41-48, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | H. A. Presnell, Roy P. Pargas |
Communication along shortest paths in a tree machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 107-114, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Nordström |
Programming in Constructive Set Theory: Some examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 141-154, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Keith L. Clark, Steve Gregory |
A relational language for parallel programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 171-178, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John W. Backus |
Function level programs as mathematical objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 1-10, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Mike Reeve |
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 65-76, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Applicative style programming, program transformation, and list operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981, pp. 25-32, 1981, ACM, 0-89791-060-5. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|