Typed generic traversal with term rewriting strategies (Q1394988): Difference between revisions

@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Polyp
@@ Property / describes a project that uses: Polyp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57400623
@@ Property / Wikidata QID: Q57400623 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Dynamic typing in polymorphic languages
@@ Property / cites work: Dynamic typing in polymorphic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3889024
@@ Property / cites work: Q3889024 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q2764099
@@ Property / cites work: Q2764099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692466
@@ Property / cites work: Q4692466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Q2843609
@@ Property / cites work: Q2843609 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing cubes of typed and type assignment systems
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703708
@@ Property / cites work: Q2703708 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for overloaded functions with subtyping
+Normal rank
@@ Property / cites work @@
+The rewriting calculus - part I
@@ Property / cites work: The rewriting calculus - part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure semantics
+Normal rank
@@ Property / cites work @@
+Type dispatch for named hierarchical types
@@ Property / cites work: Type dispatch for named hierarchical types / rank @@
+Normal rank
@@ Property / cites work @@
+Fusing Logic and Control with Local Transformations
+Normal rank
@@ Property / cites work @@
+Q3805933
@@ Property / cites work: Q3805933 / rank @@
+Normal rank
@@ Property / cites work @@
+IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
+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 @@
+A higher-order implementation of rewriting
@@ Property / cites work: A higher-order implementation of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318862
@@ Property / cites work: Q4318862 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional theory of exceptions
@@ Property / cites work: A functional theory of exceptions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222980
@@ Property / cites work: Q4222980 / rank @@
+Normal rank
@@ Property / cites work @@
+Building program optimizers with rewriting strategies
+Normal rank