From Reduction-Based to Reduction-Free Normalization (Q3649133): Difference between revisions

@@ 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-04652-0_3
+Normal rank
@@ Property / OpenAlex ID @@
+W398758961
@@ Property / OpenAlex ID: W398758961 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional correspondence between call-by-need evaluators and lazy abstract machines
+Normal rank
@@ Property / cites work @@
+A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
+Normal rank
@@ Property / cites work @@
+Binding-time analysis for both static and dynamic expressions
+Normal rank
@@ Property / cites work @@
+Q4440321
@@ Property / cites work: Q4440321 / rank @@
+Normal rank
@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+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 @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / 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 @@
+Back to direct style
@@ Property / cites work: Back to direct style / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849585
@@ Property / cites work: Q2849585 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rational Deconstruction of Landin’s SECD Machine
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Inter-deriving Semantic Artifacts for Object-Oriented Programming
+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 @@
+A Rational Deconstruction of Landin's SECD Machine with the J Operator
+Normal rank
@@ Property / cites work @@
+Refunctionalization at work
@@ Property / cites work: Refunctionalization at work / rank @@
+Normal rank
@@ Property / cites work @@
+On one-pass CPS transformations
@@ Property / cites work: On one-pass CPS transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651734
@@ Property / cites work: Q3651734 / rank @@
+Normal rank
@@ Property / cites work @@
+Trampolined style
@@ Property / cites work: Trampolined style / rank @@
+Normal rank
@@ Property / cites work @@
+Functional runtime systems within the lambda-sigma calculus
+Normal rank
@@ Property / cites work @@
+Thunks and the λ-calculus
@@ Property / cites work: Thunks and the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Calculi with Explicit Substitutions Revisited
+Normal rank
@@ Property / cites work @@
+Q4235398
@@ Property / cites work: Q4235398 / 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: push/enter vs. eval/apply for higher-order languages
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+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 @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters revisited
@@ Property / cites work: Definitional interpreters revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+From syntactic theories to interpreters: Automating the proof of unique decomposition
+Normal rank