Doubly F-Bounded Generics
Programming Languages
2018-09-10 v5
Abstract
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.
Cite
@article{arxiv.1808.06052,
title = {Doubly F-Bounded Generics},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1808.06052},
year = {2018}
}
Comments
14 pages