Type Theory & Functional Programming (1999)
Visit on cs.kent.ac.uk
★★★☆☆ challenging Loved reading this
