Control effects as a modality

Hayo Thielecke. Control effects as a modality. Journal of Functional Programming, 19(1):17-26, 2009. [doi]

Abstract

Abstract is missing.