Can I read Doubly F-Bounded Generics on EtoBox?

Doubly F-Bounded Generics by AbdelGawad, Moez A. is a scholarly article available to read on EtoBox.

What is Doubly F-Bounded Generics about?

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 we suggest how doubly f-bounded generics can be reasoned about. We also (attempt to) prove, using a coinductive argument, that our reasoning method is mathematically sound.

Author

AbdelGawad, Moez A.

Published

2018

Language

EN