CPS transformation of beta-redexes (Q1041755): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2005.02.002
@@ Property / DOI: 10.1016/j.ipl.2005.02.002 / 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.1016/j.ipl.2005.02.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2095040554
@@ Property / OpenAlex ID: W2095040554 / rank @@
+Normal rank
@@ Property / cites work @@
+The Barendregt cube with definitions and generalised reduction
+Normal rank
@@ Property / cites work @@
+Syntactic accidents in program analysis: on the impact of the CPS transformation
+Normal rank
@@ Property / cites work @@
+Q4417784
@@ Property / cites work: Q4417784 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Q2763631
@@ Property / cites work: Q2763631 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order unCurrying
@@ Property / cites work: Higher-order unCurrying / 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 @@
+Two-Level Functional Languages
@@ Property / cites work: Two-Level Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Continuations revisited
@@ Property / cites work: Continuations revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of procedure representations in higher-order assembly language
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2005.02.002
@@ Property / DOI: 10.1016/J.IPL.2005.02.002 / rank @@
+Normal rank