John Lamping. An algorithm for optimal lambda-calculus reductions. In Conf. Rec. 17th Ann. ACM Symp. Princ. of Prog. Langs., pages 16--30, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Proof of the Reducibility of General Port Graph Grammars to.. - Stewart (2002) (Correct)
Sharing of Computations - Amtoft (1993) (1 citation) (Correct)
Implementing Distributed Systems Using Linear Naming - Bawden (1993) (3 citations) (Correct)
Reducibility Between Classes of Port Graph Grammar - Stewart (2001) (Correct)
Linear Naming: Experimental Software for Optimizing.. - Bawden, Mairson (1998) (Correct)
Lightweight Lemmas in Lambda Prolog (Extended Version) - Appel, Felty (1999) (Correct)
(Optimal) duplication is not elementary recursive - Asperti, Coppola, Martini (2000) (Correct)
Lightweight Lemmas in Lambda Prolog - Appel, Felty (1999) (Correct)
Proof nets, Garbage, and Computations - Guerrini, Martini, Masini (Correct)
Functional Computation in a Calculus of Relational.. - Joachim Niehren, Gert .. (1994) (Correct)
Relational Treatment of Term Graphs With Bound Variables - Kahl (1998) (1 citation) (Correct)
A General Theory of Sharing Graphs - Guerrini (1998) (Correct)
A Graph Reduction Technique with Sharing across Narrowings.. - Maraist, Silbermann (1994) (Correct)
A Graph Reduction Technique and an Extension to the G-Machine for .. - Maraist (1994) (3 citations) (Correct)
Graph Transformation for Specification and Programming - Andries, Engels, Habel.. (1996) (14 citations) (Correct)
Coherence for Sharing Proof-nets - Guerrini, Martini, Masini (1997) (Correct)
Graph Transformation for Specification and Programming - Andries, Engels, Habel.. (1996) (14 citations) (Correct)
The Geometry of Optimal Lambda Reduction - Gonthier, Abadi, Lévy (1992) (73 citations) (Correct)
Coherence for Sharing Proof-Nets - Guerrini, Martini, Masini (1996) (Correct)
Weak Orthogonality Implies Confluence: the Higher-Order Case - van Oostrom, van Raamsdonk (1994) (7 citations) (Correct)
Unknown - Ist- Dynamic Assembly (Correct)
Proof nets, Garbage, and Computations - Guerrini Martini (Correct)
Proof nets, Garbage, and Computations - Guerrini Martini (Correct)
A General Theory of Sharing Graphs - Guerrini (1997) Self-citation (Lamping) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC