|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
1
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri
- 2009
|
|
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri (Hossein)
- 2009
|
|
1
|
Interpreting functions as π-calculus processes: a tutorial
– Davide Sangiorgi
- 1999
|
|
|
Signed Date
– Richard Douglas Watson, Be Mengsc Dipcompsc
|
|
14
|
Sharing of Computations
– Torben Amtoft
- 1993
|
|
32
|
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
– Olivier Danvy, Ulrik P. Schultz
- 2001
|
|
16
|
Compilation of Functional Languages Using Flow Graph Analysis
– Pieter H. Hartel, Hugh Glaser, John M. Wild
- 1994
|
|
5
|
Compiling Lazy Functional Programs to Java Bytecode
– Gary Meehan, Mike Joy
- 1998
|
|
34
|
Cyclic Lambda Graph Rewriting
– Zena M. Ariola, Jan Willem Klop
- 1994
|
|
20
|
Two for the Price of One: Composing Partial Evaluation and Compilation
– Michael Sperber, Peter Thiemann
- 1997
|
|
59
|
Defunctionalization at Work
– Olivier Danvy, Lasse R. Nielsen
- 2001
|
|
|
Introduction to Functional Programming using Gofer
– E. P. Wentworth
- 1990
|
|
1
|
Supero: Making Haskell faster
– Neil Mitchell, Colin Runciman
- 2007
|
|
16
|
A Supercompiler for Core Haskell
– Neil Mitchell, Colin Runciman
|
|
2
|
Realtime Signal Processing Data ow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
13
|
Realtime Signal Processing -- Dataflow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
|
Experience with a Clustered Parallel Reduction Machine
– M. Beemster, P. H. Hartel, L. O. Hertzberger, R. F. H. Hofman, K. G. Langendoen, L. L. Li, R. Milikowski, W. G. Vree, H. P. Barendregt, J. C. Mulder
- 1993
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
