Towards an Order and Category Theoretic Model of Java Generics (extended version)EasyChair Preprint 3631, version historyVersion | Date | Pages | Version notes |
---|
1 | June 17, 2020 | 17 | | 2 | June 21, 2020 | 18 | Use limits of slices and colimits of coslices to define free types and cofree types, respectively. |
Keyphrases: Bounded existential types, Coinductive F-bounded existential types, F-algebras, F-bounded existential types, F-bounded polymorphism, F-coalgebras, Free Type, Free and cofree types, Galois connections, Interval Type, Java Wildcards, Java type erasure, Nominal Typing, OO Inheritance, OO Subtyping, Ordered sets and lattices, Structural-Typing, Subclassing, Variance Annotations, adjunctions, category theory, cofree type, default type, default type argument, existential type, fixed point, generic class, generic oop, generic oop type system, generics, interval type argument, mathematical modeling, object-oriented programming, oo type system, oop language, order theory, parameterized type, partial products, post fixed point, pre fixed point, subtyping relation, valid type argument, wildcard type argument |
|