Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Can Advanced Type Systems Be Usable? [pdf] (cmu.edu)
4 points by azhenley 14 days ago | hide | past | favorite


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: