Total Functional Programming (2004) [pdf](ncatlab.org)68 points by leonidasv 2 years ago | 69 comments