Search results for "FPCA"

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

Publications at "FPCA"( http://dblp.L3S.de/Venues/FPCA )