A strong call-by-need calculus (Q6135746): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-19(1:21)2023
@@ Property / DOI: 10.46298/lmcs-19(1:21)2023 / rank @@
-Normal rank
@@ Property / DOI @@
-.4230/lipics.fscd.2021.9
@@ Property / DOI: 10.4230/lipics.fscd.2021.9 / rank @@
-Normal rank
@@ Property / cites work @@
+A nonstandard standardization theorem
@@ Property / cites work: A nonstandard standardization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Distilling abstract machines
@@ Property / cites work: Distilling abstract machines / rank @@
+Normal rank
@@ Property / cites work @@
+A Strong Distillery
@@ Property / cites work: A Strong Distillery / rank @@
+Normal rank
@@ Property / cites work @@
+The Structural λ-Calculus
@@ Property / cites work: The Structural λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A unified approach to fully lazy sharing
@@ Property / cites work: A unified approach to fully lazy sharing / rank @@
+Normal rank
@@ Property / cites work @@
+Weak optimality, and the meaning of sharing
@@ Property / cites work: Weak optimality, and the meaning of sharing / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract machine for strong call by value
@@ Property / cites work: An abstract machine for strong call by value / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089007
@@ Property / cites work: Q5089007 / rank @@
+Normal rank
@@ Property / cites work @@
+Abella: A System for Reasoning about Relational Specifications
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types for the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+A strong call-by-need calculus
@@ Property / cites work: A strong call-by-need calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The Call-by-Need Lambda Calculus, Revisited
@@ Property / cites work: The Call-by-Need Lambda Calculus, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The locally nameless representation
@@ Property / cites work: The locally nameless representation / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric higher-order abstract syntax for mechanized semantics
+Normal rank
@@ Property / cites work @@
+Q4490749
@@ Property / cites work: Q4490749 / rank @@
+Normal rank
@@ Property / cites work @@
+A compiled implementation of strong reduction
@@ Property / cites work: A compiled implementation of strong reduction / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Explicit Substitutions with Safe and Full Composition
+Normal rank
@@ Property / cites work @@
+Reasoning About Call-by-need by Means of Types
@@ Property / cites work: Reasoning About Call-by-need by Means of Types / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Types for the Linear Substitution Calculus
+Normal rank
@@ Property / cites work @@
+Local Bigraphs and Confluence: Two Conjectures
@@ Property / cites work: Local Bigraphs and Confluence: Two Conjectures / 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 @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-19(1:21)2023
@@ Property / DOI: 10.46298/LMCS-19(1:21)2023 / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.FSCD.2021.9
@@ Property / DOI: 10.4230/LIPICS.FSCD.2021.9 / rank @@
+Normal rank