Types and Programming Languages the Next Generation (2003) [pdf]cis.upenn.edu1 point·justinwr··0 commentsOpen articleSaveView on HN