Two-level languages for program optimization (Q1826626): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2003.11.013
@@ Property / DOI: 10.1016/j.tcs.2003.11.013 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440321
@@ Property / cites work: Q4440321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494371
@@ Property / cites work: Q4494371 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial evaluator for the untyped lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Projection Factorisations in Partial Evaluation
@@ Property / cites work: Projection Factorisations in Partial Evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222897
@@ Property / cites work: Q4222897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839074
@@ Property / cites work: Q3839074 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Level Functional Languages
@@ Property / cites work: Two-Level Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2003.11.013
@@ Property / DOI: 10.1016/J.TCS.2003.11.013 / rank @@
+Normal rank