|
60
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
7
|
Relating Graph and Term Rewriting via Böhm Models
– Zena M. Ariola
- 1993
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
|
|
Sharing Implementations of Graph Rewriting Systems
– Stefano Guerrini
- 2004
|
|
19
|
Properties of a First-order Functional Language with Sharing
– Zena M. Ariola, Arvind, Zena M. Ariola
- 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
|
|
3
|
Relative Normalization in Stable Deterministic Residual Structures
– John Glauert, John Glauert, Zurab Khasidashvili, Zurab Khasidashvili
- 1996
|
|
|
The Call-by-need Lambda Calculus, Revisited
– Stephen Chang, Matthias Felleisen
|
|
16
|
A Syntactic Approach to Program Transformations
– Zena M. Ariola, Arvind
- 1991
|
|
34
|
Cyclic Lambda Graph Rewriting
– Zena M. Ariola, Jan Willem Klop
- 1994
|
|
7
|
Dynamic Slicing In Higher-Order Programming Languages
– Sandip K. Biswas, Carl A. Gunter, Insup Lee
- 1997
|
|
5
|
lambdaS: an implicitly parallel lambda-calculus with recursive bindings, synchronization and side effects
– Arvind, Joe E. Stoy, Jan-willem Maessen, Jan-willem Maessen, Rishiyur S. Nikhil, Rishiyur S. Nikhil, Joseph E. Stoy
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
12
|
A non-deterministic call-by-need lambda calculus
– Arne Kutzner, Manfred Schmidt-Schauß
- 1998
|
|
4
|
A general theory of sharing graphs
– Stefano Guerrini
- 1999
|
|
18
|
Interaction Systems II: The Practice of Optimal Reductions
– Andrea Asperti, Cosimo Laneve
- 1994
|
|
|
The Geometry of Conflict-free Reduction Spaces
– Z. Khasidashvili, J. Glauert, Zurab Khasidashvili, John Glauert
- 1998
|
|
33
|
Dactl: An Experimental Graph Rewriting Language
– John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep
- 1991
|
