Hacker News new | ask | show | jobs
by dill_day 5316 days ago
See also: Taming Wildcards in Java's Type System http://cseweb.ucsd.edu/~rtate/publications/tamewild/tamewild... (Section 3 Non-Termination in Subtyping)