Wildcards need witness protection

Kevin Bierhoff. Wildcards need witness protection. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):373-394, 2022. [doi]

Abstract

Abstract is missing.