Super HN - Super Hacker News

Can Advanced Type Systems Be Usable? [pdf] (cs.cmu.edu) 3 points by azhenley 4 hours ago