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

@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5883963
@@ Property / zbMATH DE Number: 5883963 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type safety
@@ Property / zbMATH Keywords: type safety / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generic programming
@@ Property / zbMATH Keywords: generic programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reflection
@@ Property / zbMATH Keywords: reflection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-based generation
@@ Property / zbMATH Keywords: model-based generation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metaphor
@@ Property / describes a project that uses: Metaphor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SafeGen
@@ Property / describes a project that uses: SafeGen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cayenne
@@ Property / describes a project that uses: Cayenne / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AspectJ
@@ Property / describes a project that uses: AspectJ / rank @@
+Normal rank
@@ 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.scico.2010.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W4210565982
@@ Property / OpenAlex ID: W4210565982 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:532406