Cyclic Lambda Calculi (1997)

Cached

Download Links

by Zena M. Ariola , Stefan Blom
Citations:36 - 5 self

Active Bibliography

62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
8 Relating Graph and Term Rewriting via Böhm Models – Zena M. Ariola - 1993
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
Sharing Implementations of Graph Rewriting Systems – Stefano Guerrini - 2004
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
3 Relative Normalization in Stable Deterministic Residual Structures – John Glauert, John Glauert, Zurab Khasidashvili, Zurab Khasidashvili - 1996
1 The Call-by-need Lambda Calculus, Revisited – Stephen Chang, Matthias Felleisen
16 A Syntactic Approach to Program Transformations – Zena M. Ariola, Arvind - 1991
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
6 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
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
2 Demonstrating lambda calculus reduction – Peter Sestoft - 2002
14 A non-deterministic call-by-need lambda calculus – Arne Kutzner, Manfred Schmidt-Schauß - 1998
1 Skew and ω-Skew Confluence and Abstract Böhm Semantics – Zena M. Ariola, Stefan Blom
4 A general theory of sharing graphs – Stefano Guerrini - 1999
18 Interaction Systems II: The Practice of Optimal Reductions – Andrea Asperti, Cosimo Laneve - 1994