Publication Type-safe higher-order channels with channel locality Journal of Functional Programming. 19(1): 107-142 (2009) Authors Sungwoo Park Hyeonseung Im Tags formal-methods DOI
