Hacker News new | ask | show | jobs
Enumerating Ill-Typed Programs for Testing Type Analyzers (dl.acm.org)
1 points by matt_d 5 hours ago