Searching for "An expressive language of signatures." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A Smell of ORCHIDS
- … is in fact based on a more complex, and more expressive, language of signatures, with mutable variables…
- Add To MetaCart
-
From Relational To Object Database Management Systems
- …, then g(f) is an expression of the language with signature t -> t". - If f: t -> t' is the signature of a…
- Add To MetaCart
-
Complexity of Subtype Satisfiability over Posets
- … the various choices of type expression languages, their signatures, subtype orders, and the notion of subtype…
- Cited by 5 (0 self) – Add To MetaCart
-
Internship report: Uniform and non-structural subtyping
- … choices of type expression languages, their signatures, subtype orders, and the 2 notion of subtype…
- Add To MetaCart
Showing 1 through 4.
