Building interpreters by composing monads. Pages 472--492 of (1994)

by Guy L Steele
Venue:ACM (ed), Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT symposium on principles of programming languages