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

by P Hudak, J C Guzman