Typed Lambda Calculus Chapter 9 Benjamin Pierce Types and Programming Languages.
ic91_monads
Vanguard Markets - February 9, 2015 edition
Typed Lambda Calculus