Type-safe higher-order channels with channel locality. - PARK, SUNGWOO; HYEONSEUNG IM (Journal of Functional Programming, 2009)