Type Theory and Functional Programming (1999) [pdf]

This comprehensive guide covers everything you need to know about the latest tech trends. Type theory, a foundational pillar of functional programming, has seen a resurgence in interest since its conceptualization in the late 20th century. The 1999 p...