A generic type system for featherweight Java

Ulrich Schöpp und Chuangjie Xu

FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, pp. 9–15

2021 · DOI: 10.1145/3464971.3468419