Type Theory and Functional Programming (1999) [pdf] by from Hacker News on 2025-10-01 07:00 (#70EBS) Comments