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

by P Hudak, J Guzman