A generic type system for featherweight Java

Ulrich Schöpp and 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