Searching for "Type Inference with Constrained Types." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Type inference with constrained types
- …Type Inference with Constrained Types Martin Odersky University of South Australia, School…
- Cited by 38 (5 self) – Add To MetaCart
-
Functional Logic Overloading
- … is an instance of type inference with constrained types, where the underlying constraint system is defined by a…
- Cited by 14 (1 self) – Add To MetaCart
-
Functional Logic Overloading
- … is an instance of type inference with constrained types, where the underlying constraint system is defined by a…
- Add To MetaCart
-
Subtyping Constrained Types
- … on variables occurring in the type. Constrained type inference systems are a natural generalization of Hindley…
- Cited by 61 (2 self) – Add To MetaCart
-
Constrained Types and their Expressiveness
- … of the -term [7]. Similarly, type inference for the constrained type system is computable in O(n 3 ) time [5…
- Cited by 20 (13 self) – Add To MetaCart
Showing 1 through 5.
