A lightweight approach to datatype-generic rewriting (Q3070774): Difference between revisions

@@ Property / describes a project that uses @@
+Stratego
@@ Property / describes a project that uses: Stratego / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Type-indexed data types
@@ Property / cites work: Type-indexed data types / rank @@
+Normal rank
@@ Property / cites work @@
+Associated types with class
@@ Property / cites work: Associated types with class / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346205
@@ Property / cites work: Q4346205 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Generic unification via two-level types and parameterized modules
+Normal rank
@@ Property / cites work @@
+Type checking with open type functions
@@ Property / cites work: Type checking with open type functions / rank @@
+Normal rank
@@ Property / cites work @@
+Polytypic unification
@@ Property / cites work: Polytypic unification / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796810000183
+Normal rank
@@ Property / OpenAlex ID @@
+W2041037071
@@ Property / OpenAlex ID: W2041037071 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3070774