Searching for "Polymorphic Order-Sorted Algebra." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
- …Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types J…
- Cited by 4 (2 self) – Add To MetaCart
-
Complete Polymorphic Order-Sorted Unification
- …. 2 Polymorphic order-sorted Types 2.1 Definitions The concept of polymorphic order-sorted algebras…
- Cited by 1 (1 self) – Add To MetaCart
-
Polymorphically order-sorted types in OBJ-3
- …. The algebraic semantics of OBJ--P modules are polymorphically order-sorted algebras (c.f. section 3…
- Cited by 2 (1 self) – Add To MetaCart
-
G²-Algebras
- … are polymorphic, order-sorted algebras where sorts are terms in an equational theory. G 2 -algebras are still…
- Add To MetaCart
-
Polymorphism in OBJ-P
- … algebras (e.g. [GM89]). Therefore, we generalize the theory to polymorphic order-sorted algebras. For our…
- Add To MetaCart
Showing 1 through 5.
