Doubly F-Bounded Generics
share
In this paper we suggest how f-bounded generics in nominally-typed OOP can be extended to the more general notion we call `doubly f-bounded generics' and how doubly f-bounded generics can be reasoned about.
READ FULL TEXTIn this paper we suggest how f-bounded generics in nominally-typed OOP can be extended to the more general notion we call `doubly f-bounded generics' and how doubly f-bounded generics can be reasoned about.
READ FULL TEXT