Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Is there a good resource (a review paper maybe?) to get an overview over such programming language / type system topics?


I can't think of any from the top of my head.

Perhaps looking at the proceedings of ICFP and POPL can help?




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

Search: