Monads for functional programming
Philip Wadler
A Finely Tuned Piece
Sephulbadis
Escape from Camp 14
Blaine Harden
ugh.book
simsong
Mathematics for Computer Science
Eric Lehman & F. Thomson Leighton & Albert R. Meyer