Searching for "Generic Universe Types." – sorted by Relevance.
-
Formalization of Generic Universe Types
- Formalization of Generic Universe Types Werner Dietl Sophia Drossopoulou Peter Müller ETH
- Cited by 1 (1 self) – Add To MetaCart
-
UJ: Type Soundness for Universe Types
- further described in [9]. Extensions to universe types, such as those described in [10] (adding Generics
- Cited by 1 (0 self) – Add To MetaCart

