A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages (1995)

Cached

Download Links

by Ralph C. Hilzer, Jr. , Lawrence A. Crowl

Active Bibliography

43 Parallel Programming using Functional Languages – Paul Roe - 1991
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
8 Models for Persistence in Lazy Functional Programming Systems – David John McNally, Ky Ss, Tony Davie, Al Dearle, Simon Peyton Jones, Stef Joosten, Graham Kirby - 1993
7 Deterministic Concurrency – David Paul Carter - 1993
17 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
Compiling Lazy Functional Languages: An introduction – Thomas Johnsson - 1987
The G#-machine: Efficient strictness analysis in Haskell – Marko Schütz - 1995
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
180 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
3 Implementing the Charity Abstract Machine – Dale Barry Yee, C Fl Dale Barry Yee, Dr. K. Loose, Dr. C. Laflamme - 1995
Using pi-RED as a Teaching Tool for Functional Programming and Program Execution – Werner E. Kluge, Carsten Rathsack, Sven-Bodo Scholz
272 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
1 The Categorical Multi-Combinator Machine: CMCM – Simon Thompson, Rafael Lins - 1992
36 The Call-by-Need Lambda Calculus – John Maraist, Martin Odersky, Philip Wadler - 1994
16 Compilation of Functional Languages Using Flow Graph Analysis – Pieter H. Hartel, Hugh Glaser, John M. Wild - 1994
19 Fixing Some Space Leaks With a Garbage Collector – Philip Wadler - 1987
1 A Graph Reduction Technique and an Extension to the G-Machine for Pure, Lazy Functional-Logic Languages (Preliminary Report) – John Maraist, Frank S. K. Silbermann - 1994