Galois connecting call-by-value and call-by-name (Q6151562): Difference between revisions

@@ Property / cites work @@
+Q4490731
@@ Property / cites work: Q4490731 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic view of computational adequacy
@@ Property / cites work: A syntactic view of computational adequacy / rank @@
+Normal rank
@@ Property / cites work @@
+Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
+Normal rank
@@ Property / cites work @@
+Q4263868
@@ Property / cites work: Q4263868 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about multi-stage programs
@@ Property / cites work: Reasoning about multi-stage programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281477
@@ Property / cites work: Q4281477 / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
+Normal rank
@@ Property / cites work @@
+Monads for which structures are adjoint to units
@@ Property / cites work: Monads for which structures are adjoint to units / rank @@
+Normal rank
@@ Property / cites work @@
+Retraction approach to CPS transform
@@ Property / cites work: Retraction approach to CPS transform / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunction Models For Call-By-Push-Value With Stacks
+Normal rank
@@ Property / cites work @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Extended call-by-push-value: reasoning about effectful programs and evaluation order
+Normal rank
@@ Property / cites work @@
+Q5089547
@@ Property / cites work: Q5089547 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680263
@@ Property / cites work: Q3680263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5214814
@@ Property / cites work: Q5214814 / rank @@
+Normal rank
@@ Property / cites work @@
+Gradual type theory
@@ Property / cites work: Gradual type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+A reflection on call-by-value
@@ Property / cites work: A reflection on call-by-value / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank