MetaML and multi-stage programming with explicit annotations (Q1583363): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+A partial evaluator for the untyped lambda-calculus
+Normal rank
@@ Property / cites work @@
+DyC: An expressive annotation-directed dynamic compiler for C
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222897
@@ Property / cites work: Q4222897 / rank @@
+Normal rank
@@ Property / cites work @@
+Program transformations in a denotational setting
@@ Property / cites work: Program transformations in a denotational setting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718132
@@ Property / cites work: Q3718132 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level semantics and abstract interpretation
@@ Property / cites work: Two-level semantics and abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level semantics and code generation
@@ Property / cites work: Two-level semantics and code generation / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Level Functional Languages
@@ Property / cites work: Two-Level Functional Languages / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00053-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2094455839
@@ Property / OpenAlex ID: W2094455839 / rank @@
+Normal rank