Three Syntactic Theories for Combinatory Graph Reduction (Q3003482): Difference between revisions

@@ Property / describes a project that uses @@
+DACTL
@@ Property / describes a project that uses: DACTL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-20551-4_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2268291652
@@ Property / OpenAlex ID: W2268291652 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of a first-order functional language with sharing
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Apparent variables from the standpoint of combinatory logic
+Normal rank
@@ Property / cites work @@
+From Reduction-Based to Reduction-Free Normalization
+Normal rank
@@ Property / cites work @@
+On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
+Normal rank
@@ Property / cites work @@
+Defunctionalized Interpreters for Call-by-Need Evaluation
+Normal rank
@@ Property / cites work @@
+Lazy evaluation and delimited control
@@ Property / cites work: Lazy evaluation and delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+A computational formalization for partial evaluation
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+On global dynamics of optimal graph reduction
@@ Property / cites work: On global dynamics of optimal graph reduction / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Small-step and big-step semantics for call-by-need
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626301
@@ Property / cites work: Q5626301 / rank @@
+Normal rank
@@ Property / cites work @@
+A new implementation technique for applicative languages
+Normal rank