Type-safe higher-order channels with channel locality

Sungwoo Park, Hyeonseung Im. Type-safe higher-order channels with channel locality. Journal of Functional Programming, 19(1):107-142, 2009. [doi]

Abstract

Abstract is missing.