Types and Programming Languages the Next Generation (2003) [pdf]cis.upenn.edu1 pointjustinwr11 years ago