A type system for reflective program generators (Q532406): Difference between revisions

@@ Property / cites work @@
+Q4444764
@@ Property / cites work: Q4444764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449596
@@ Property / cites work: Q4449596 / rank @@
+Normal rank
@@ Property / cites work @@
+Cayenne—a language with dependent types
@@ Property / cites work: Cayenne—a language with dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for reflective program generators
@@ Property / cites work: A type system for reflective program generators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3155724
@@ Property / cites work: Q3155724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Statically safe program generation with SafeGen
@@ Property / cites work: Statically safe program generation with SafeGen / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779263
@@ Property / cites work: Q2779263 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiences with an object-oriented, multi-stage language
+Normal rank
@@ Property / cites work @@
+Finite Differencing of Computable Expressions
@@ Property / cites work: Finite Differencing of Computable Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4445765
@@ Property / cites work: Q4445765 / rank @@
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank