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

@@ 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.tcs.2003.11.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2045394797
@@ Property / OpenAlex ID: W2045394797 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1826626