FPCA 1987: Portland, Oregon, USA

Gilles Kahn (Ed.): 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 BibTeX

@proceedings{DBLP:conf/fpca/1987,
  editor    = {Gilles Kahn},
  title     = {Functional Programming Languages and Computer Architecture, Portland,
               Oregon, USA, September 14-16, 1987, Proceedings},
  booktitle = {FPCA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {274},
  year      = {1987},
  isbn      = {3-540-18317-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Carlos A. Ruggiero, John Sargeant: Control of parallelism in the Manchester Dataflow Machine. 1-15 BibTeX
T. J. W. Clarke: The D-RISC: An architecture for use in multiprocessors. 16-33 BibTeX
Jon Fairbairn, Stuart Wray: TIM: A simple, lazy abstract machine to execute supercombinatorics. 34-45 BibTeX
David Lester: The G-machine as a representation of stack semantics. 46-59 BibTeX
Rafael Dueire Lins: Categorical multi-combinators. 60-79 BibTeX
Paul Watson, Ian Watson: Evaluating functional programs on the FLAGSHIP machine. 80-97 BibTeX
Simon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie: GRIP - A high-performance architecture for parallel graph reduction. 98-112 BibTeX
Stephen C. North, John H. Reppy: Concurrent garbage collection on stock hardware. 113-133 BibTeX
David S. Wise: Matrix algebra and applicative programming. 134-153 BibTeX
Thomas Johnsson: Attribute grammars as a functional programming paradigm. 154-173 BibTeX
Martine D. F. Schlag: The planar topology of functional programs. 174-193 BibTeX
Bharat Jayaraman, David A. Plaisted: Functional programming with sets. 194-211 BibTeX
Patrick Bellot, Véronique Jay: A theory for natural modelisation and implementation of functions with variable arity. 212-233 BibTeX
Paul Hudak, Steven Anderson: Pomset interpretations of parallel functional programs. 234-256 BibTeX
Thierry Gautier, Paul Le Guernic: SIGNAL: A declarative language for synchronous programming of real-time systems. 257-277 BibTeX
John Darlington, R. Lyndon While: Controlling the behaviour of functional language systems. 278-300 BibTeX
Andrew W. Appel, David B. MacQueen: A Standard ML compiler. 301-324 BibTeX
Ian Toyn, Alan J. Dix, Colin Runciman: Performance polymorphism. 325-346 BibTeX
Thomas R. Gross, Alan Sussman: Mapping a single-assignment language onto the Warp systolic array. 347-363 BibTeX
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 BibTeX
Philip Wadler, R. J. M. Hughes: Projections for strictness analysis. 385-407 BibTeX
Benjamin Goldberg: Detecting sharing of partial applications in functional programs. 408-425 BibTeX
Chris Martin, Chris Hankin: Finding fixed points in finite lattices. 426-445 BibTeX
Geoffrey L. Burn: Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract). 446-470 BibTeX