default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFPCA 1987: Portland, Oregon, USA
- Gilles Kahn:
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Lecture Notes in Computer Science 274, Springer 1987, ISBN 3-540-18317-5 - Carlos A. Ruggiero, John Sargeant:
Control of parallelism in the Manchester Dataflow Machine. 1-15 - T. J. W. Clarke:
The D-RISC: An architecture for use in multiprocessors. 16-33 - Jon Fairbairn, Stuart Wray:
TIM: A simple, lazy abstract machine to execute supercombinatorics. 34-45 - David R. Lester:
The G-machine as a representation of stack semantics. 46-59 - Rafael Dueire Lins:
Categorical multi-combinators. 60-79 - Paul Watson, Ian Watson:
Evaluating functional programs on the FLAGSHIP machine. 80-97 - Simon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie:
GRIP - A high-performance architecture for parallel graph reduction. 98-112 - Stephen C. North, John H. Reppy
:
Concurrent garbage collection on stock hardware. 113-133 - David S. Wise:
Matrix algebra and applicative programming. 134-153 - Thomas Johnsson:
Attribute grammars as a functional programming paradigm. 154-173 - Martine D. F. Schlag:
The planar topology of functional programs. 174-193 - Bharat Jayaraman, David A. Plaisted:
Functional programming with sets. 194-211 - Patrick Bellot, Véronique Jay:
A theory for natural modelisation and implementation of functions with variable arity. 212-233 - Paul Hudak, Steven Anderson:
Pomset interpretations of parallel functional programs. 234-256 - Thierry Gautier, Paul Le Guernic:
SIGNAL: A declarative language for synchronous programming of real-time systems. 257-277 - John Darlington, Lyndon While:
Controlling the behaviour of functional language systems. 278-300 - Andrew W. Appel, David B. MacQueen:
A Standard ML compiler. 301-324 - Ian Toyn, Alan J. Dix, Colin Runciman:
Performance polymorphism. 325-346 - Thomas R. Gross, Alan Sussman:
Mapping a single-assignment language onto the Warp systolic array. 347-363 - T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer:
CLEAN: A language for functional graph writing. 364-384 - Philip Wadler, R. J. M. Hughes:
Projections for strictness analysis. 385-407 - Benjamin Goldberg:
Detecting sharing of partial applications in functional programs. 408-425 - Chris Martin, Chris Hankin:
Finding fixed points in finite lattices. 426-445 - Geoffrey Livingston Burn:
Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract). 446-470
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-08 22:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
