Implicitly heterogeneous multi-stage programming (Q2478589): 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.1007/s00354-007-0020-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2016464602
@@ Property / OpenAlex ID: W2016464602 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicitly heterogeneous multi-stage programming
@@ Property / cites work: Implicitly heterogeneous multi-stage programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472533
@@ Property / cites work: Q4472533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472536
@@ Property / cites work: Q4472536 / rank @@
+Normal rank
@@ Property / cites work @@
+Tagless staged interpreters for typed languages
@@ Property / cites work: Tagless staged interpreters for typed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-programming With Built-in Type Equality
@@ Property / cites work: Meta-programming With Built-in Type Equality / rank @@
+Normal rank
@@ Property / cites work @@
+DyC: An expressive annotation-directed dynamic compiler for C
+Normal rank