Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
Citations
17 citations
Cites background from "Bottom-Up beta-Substitution: Uplink..."
...• Shivers-Wand’s method (bottom-up copying from bound variables to root of function bodies....
[...]
...Shivers and Wand [23] provide a more realistic implementation where, in the abstract tree corresponding to any abstraction λx....
[...]
...M[[x\N ′]]) Our objectives : • find a confluent extention of the weak λ-calculus, • re-study standard properties (FD, standardization, etc), • find a theory of sharing in this calculus [Wadsworth, Shivers-Wand] The weak λ-calculus (2/4) weakening the ξ-rule : (ξ′) M R→ N x 6∈ R λx ....
[...]
...M[[x\N ′]]) Our objectives : • find a confluent extention of the weak λ-calculus, • re-study standard properties (FD, standardization, etc), • find a theory of sharing in this calculus [Wadsworth, Shivers-Wand] The weak λ-calculus (1/4) λ-calculus without the ξ-rule (ξ) M → N λx ....
[...]
...Such a modification of the weak λ-calculus would be one way of providing a formal theory to the implementation in [23]....
[...]
10 citations
Cites background from "Bottom-Up beta-Substitution: Uplink..."
...[12] O. Shivers and M. Wand....
[...]
...Also the correspondence with the bottom-up strategy of Shivers and Wand [12] is to explore in a refinement of this calculus with a more explicit definition of substitution....
[...]
3 citations
2 citations
Cites background from "Bottom-Up beta-Substitution: Uplink..."
...En s’inspirant des conclusions de Wadsworth, Shivers et Wand [38] proposent une implémentation réaliste qui représente les termes sous forme de graphes....
[...]
...En s’inspirant des conclusions de Wadsworth, Shivers et Wand [38] proposent une implémentation réaliste qui représente les termes sous forme de graphes....
[...]
...173 [38] Olin Shivers et Mitchell Wand....
[...]
...Pour cela, on s’inspire des travaux de Wadsworth, Shivers et Wand [43, 38]....
[...]
...Dans [38], Shivers et Wand ont mis en œuvre un algorithme similaire dans le cadre d’une implémentation plus réaliste....
[...]