Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (2001)

by Simon Peyton Jones
Venue:In R Steinbrueggen, editor, Engineering theories of software construction, Marktoberdorf Summer School 2000, NATO ASI Series. IOS