Depending on Types - Stephanie Weirich
Why the open web links it
Explores Haskell's type system and the case for dependent types in functional programming.
Linked by 2 independent sites, 2 of them widely read in the 2026-10 crawl of the open web, including upenn.edu, root.cz.