Doubly F-Bounded Generics

08/18/2018

∙

by   Moez A. AbdelGawad, et al.

∙

Rice University

∙

0

∙

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.