Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366): Difference between revisions

@@ Property / author @@
-Olivier Danvy
@@ Property / author: Olivier Danvy / rank @@
-Normal rank
@@ Property / author @@
-Ulrik Pagh Schultz
@@ Property / author: Ulrik Pagh Schultz / rank @@
-Normal rank
@@ Property / author @@
+Olivier Danvy
@@ Property / author: Olivier Danvy / rank @@
+Normal rank
@@ Property / author @@
+Ulrik Pagh Schultz
@@ Property / author: Ulrik Pagh Schultz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4379577
@@ Property / cites work: Q4379577 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical interpretation of Landin's correspondence principle
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q2766784
@@ Property / cites work: Q2766784 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda-dropping: Transforming recursive equations into programs with block structure
+Normal rank
@@ Property / cites work @@
+A partial evaluator for the untyped lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q3685171
@@ Property / cites work: Q3685171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / 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 @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting global variables in denotational specifications
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00054-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2077853727
@@ Property / OpenAlex ID: W2077853727 / rank @@
+Normal rank