Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kenneth R. Traub |
Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Michel Mauny |
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
ML |
1 | Torben Æ. Mogensen |
Separating Binding Times in Language Specifications. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ruf, Daniel Weise |
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
SCHEME |
1 | Andrew Dwelly |
Functions and Dynamic User Interfaces. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sestoft |
Replacing Function Parameters by Global Variables. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Shlomit Weiss, Ilan Y. Spillinger, Gabriel M. Silberman |
Architectural Improvements for Data-Driven VLSI Processing Arrays. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Guy Argo |
Improving the Three Instruction Machine. |
FPCA |
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. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand, Patrick O'Keefe |
On the Complexity of Type Inference with Coercion. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Augustsson, Thomas Johnsson |
Parallel Graph Reduction with the -Machine. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Lal George |
An Abstract Machine for Parallel Graph Reduction. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Jon Salkild |
The Spineless Tagless G-Machine. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Simon B. Jones, Daniel Le Métayer |
Computer-Time Garbage Collection by Sharing Analysis. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Kavi Arya |
Processes in a Functional Animation System. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
CSP |
1 | Frank S. K. Silbermann, Bharat Jayaraman |
Set Abstraction in Functional and Logic Programming. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | John Peterson |
Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Transformations on Higher-Order Functions. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
ML, Miranda |
1 | Yukihide Takayama |
Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Tsung-Min Kuo, Prateek Mishra |
Strictness Analysis: A New Perspective Based on Type Inference. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Theorems for Free! |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
P-TAC: A Parallel Intermediate Language. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Ohori |
A Simple Semantics for ML Polymorphism. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
ML |
1 | Adrienne G. Bloss |
Update Analysis and the Efficient Implementation of Functional Aggregates. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Bror Bjerner, Sören Holmström |
A Composition Approach to Time Analysis of First Order Lazy Functional Programs. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Rittri |
Using Types as Search Keys in Function Libraries. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Mads Rosendahl |
Automatic Complexity Analysis. |
FPCA |
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 |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | T. J. W. Clarke |
The D-RISC: An architecture for use in multiprocessors. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Dueire Lins |
Categorical multi-combinators. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bellot, Véronique Jay |
A theory for natural modelisation and implementation of functions with variable arity. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Livingston Burn |
Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract). |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David S. Wise |
Matrix algebra and applicative programming. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jon Fairbairn, Stuart Wray |
TIM: A simple, lazy abstract machine to execute supercombinatorics. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Goldberg |
Detecting sharing of partial applications in functional programs. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ian Toyn, Alan J. Dix, Colin Runciman |
Performance polymorphism. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thomas R. Gross, Alan Sussman |
Mapping a single-assignment language onto the Warp systolic array. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Johnsson |
Attribute grammars as a functional programming paradigm. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Carlos A. Ruggiero, John Sargeant |
Control of parallelism in the Manchester Dataflow Machine. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler, R. J. M. Hughes |
Projections for strictness analysis. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman, David A. Plaisted |
Functional programming with sets. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Gautier, Paul Le Guernic |
SIGNAL: A declarative language for synchronous programming of real-time systems. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Stephen C. North, John H. Reppy |
Concurrent garbage collection on stock hardware. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Chris Martin, Chris Hankin |
Finding fixed points in finite lattices. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | David R. Lester |
The G-machine as a representation of stack semantics. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Lyndon While |
Controlling the behaviour of functional language systems. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Martine D. F. Schlag |
The planar topology of functional programs. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Kahn (eds.) |
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak, Steven Anderson |
Pomset interpretations of parallel functional programs. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Appel, David B. MacQueen |
A Standard ML compiler. |
FPCA |
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. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Paul Watson 0001, Ian Watson |
Evaluating functional programs on the FLAGSHIP machine. |
FPCA |
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. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Johnsson |
Lambda Lifting: Treansforming Programs to Recursive Equations. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Saumya K. Debray |
Optimizing Almost-Tail-Recursive Prolog Programs. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | D. A. Turner |
Miranda: A Non-Strict Functional language with Polymorphic Types. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Augustsson |
Compiling Pattern Matching. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David A. Plaisted |
An Architecture for fast Data Movement in the FFP Machine. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil |
Practical Polymorphism. |
FPCA |
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. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz |
The G-Machine: A Fast, Graph-Reduction Evaluator. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Guy Cousineau, Pierre-Louis Curien, Michel Mauny |
The Categorical Abstract Machine. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, R. Sykes |
Secd-m: a Virtual Machine for Applicative Programming. |
FPCA |
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 |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hankin, Peter Osmon, Malcolm J. Shute |
COBWEB - A Combinator Reduction Architecture. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bellot |
High Order Programming in Extended FP. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | V. J. Bush, John R. Gurd |
Transforming Recursive Programs for Execution on Parallel Machines. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mark F. Young |
A Functional Language and Modular Architecture for Scientific Computing. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
Lazy Memo-functions. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Stephen K. Skedzielewski, M. L. Welcome |
Data Flow Graph Optimization in IF1. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dybjer |
Program Verification in a Logical Theory of Constructions. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Chris D. Clack, Simon L. Peyton Jones |
Strictness Analysis - A Practical Approach. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David S. Wise |
Design for a Multiprocessing Heap with On-board Reference Counting. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | David R. Brownbridge |
Cyclic Reference Counting for Combinator Machines. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John T. O'Donnell |
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. |
FPCA |
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. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mary Sheeran |
Designing Regular Array Architectures using Higher Order Functions. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak, Benjamin Goldberg |
Serial Combinators: "Optimal" Grains of Parallelism. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 |
A Distributed Garbage Collection Algorithm. |
FPCA |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Bruce J. MacLennan |
Introduction to relational programming. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Berry |
Programming with concrete data structures and sequential algorithms. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John V. Guttag, James J. Horning, John Williams |
FP with data abstraction and strong typing. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Vishv M. Malhotra, V. Rajaraman |
A data-flow language for specifying business data processing applications. |
FPCA |
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 |
FPCA |
1981 |
DBLP BibTeX RDF |
|
1 | Deepak Kapur, David R. Musser, Alexander A. Stepanov 0001 |
Operators and algebraic structures. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | D. A. Turner |
The semantic elegance of applicative languages. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey A. Frank |
Specification of data structures for FP programs. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gyula Magó |
Copying operands versus copying results: A solution to the problem of large operands in FFP'S. |
FPCA |
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. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Noorul Islam, Thomas J. Myers, Paul Broome |
A simple optimizer for FP-like languages. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | F. Warren Burton, M. Ronan Sleep |
Executing functional programs on a virtual tree of processors. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John S. Conery, Dennis F. Kibler |
Parallel interpretation of logic programs. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Keller, Gary Lindstrom |
Applications of feedback in functional programming. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz, Jonathan C. Shultis |
Transformations of FP program schemes. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | H. A. Presnell, Roy P. Pargas |
Communication along shortest paths in a tree machine. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Nordström |
Programming in Constructive Set Theory: Some examples. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Keith L. Clark, Steve Gregory |
A relational language for parallel programming. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John W. Backus |
Function level programs as mathematical objects. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John Darlington, Mike Reeve |
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Philip Wadler |
Applicative style programming, program transformation, and list operators. |
FPCA |
1981 |
DBLP DOI BibTeX RDF |
|