On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (Q963342): Difference between revisions

@@ Property / cites work @@
+A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
+Normal rank
@@ Property / cites work @@
+A concrete framework for environment machines
@@ Property / cites work: A concrete framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic correspondence between context-sensitive calculi and abstract machines
+Normal rank
@@ Property / cites work @@
+Q3750108
@@ Property / cites work: Q3750108 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+Trampolined style
@@ Property / cites work: Trampolined style / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Making a fast curry
@@ Property / cites work: Making a fast curry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398765
@@ Property / cites work: Q4398765 / rank @@
+Normal rank
@@ Property / cites work @@
+Lightweight fusion by fixed point promotion
@@ Property / cites work: Lightweight fusion by fixed point promotion / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Definitional interpreters revisited
@@ Property / cites work: Definitional interpreters revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank