Taming side effects with a single-threaded type system (1989)

by P Hudak, J Guzm'an