|
43
|
Parallel Programming using Functional Languages
– Paul Roe
- 1991
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
|
Introduction to Functional Programming using Gofer
– E. P. Wentworth
- 1990
|
|
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
|
|
3
|
Implementing the Charity Abstract Machine
– Dale Barry Yee, C Fl Dale Barry Yee, Dr. K. Loose, Dr. C. Laflamme
- 1995
|
|
|
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages
– Ralph C. Hilzer, Jr. , Lawrence A. Crowl
- 1995
|
|
2
|
Delivering the Benefits of Persistence to System Construction and Execution
– R. Morrison, C. Baker, R. C. H. Connor, Q. I. Cutts, G. N. C. Kirby, D. S. Munro
- 1994
|
|
1
|
Implementation of Procedures in a Database Programming Language
– Rebecca Lui
- 1996
|
|
18
|
Delivering the Benefits of Persistence to System Construction and Execution
– Quintin I. Cutts
- 1992
|
|
6
|
Computing Science
– Ph Thesis, Patrick M. Sansom, Patrick M. Sansom
- 1994
|
|
|
Purity, Impurity and Efficiency in Graph Algorithms
– n.n.
|
|
|
Execution Profiling for . . .
– Patrick M. Sansom
- 1994
|
|
17
|
A Cost Analysis for a Higher-order Parallel Programming Model
– Roopa Rangaswami, Sister Kripa
- 1996
|
|
43
|
The Under-Appreciated Unfold
– Jeremy Gibbons, Geraint Jones
- 1998
|
|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
16
|
Compilation of Functional Languages Using Flow Graph Analysis
– Pieter H. Hartel, Hugh Glaser, John M. Wild
- 1994
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
13
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
