Searching for "Type Inference with Partial Types." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Safety Analysis versus Type Inference for Partial Types
- …Safety AnalysisversusTypeInferencefor PartialTypes JensPalsberg MichaelI.Schwartzbach palsberg…
- Cited by 31 (12 self) – Add To MetaCart
-
Efficient Inference of Partial Types
- …-371. Efficient Inference of Partial Types Dexter Kozen Jens Palsberg y Michael I. Schwartzbach y Abstract…
- Cited by 54 (25 self) – Add To MetaCart
-
Incremental Inference of Partial Types
- …Incremental Inference of Partial Types Mario Coppo and Daniel Hirschkoff Novembre 1998 N o 98…
- Add To MetaCart
-
Normal Forms have Partial Types
- … normalizing [6]. Type inference for partial types can be performed in cubic time, as demonstrated by Kozen…
- Cited by 2 (1 self) – Add To MetaCart
-
On the undecidability of partial polymorphic type reconstruction. Fundamenta Informaticae, 199
- … to as type checking, type reconstruction, type inference, and partial type inference, but no standard…
- Cited by 26 (0 self) – Add To MetaCart
-
Three Discussions on Object-Oriented Typing
- … that the programmer would reject. Both problems can be relieved by combining type inference with partial type…
- Cited by 13 (2 self) – Add To MetaCart
Showing 1 through 6.
