Hacker News new | ask | show | jobs
Types and Programming Languages the Next Generation (2003) [pdf] (cis.upenn.edu)
1 points by justinwr 4125 days ago