Sungwoo Park Type-safe higher-order channels in ML-like languages. 191-202 2007 conf/icfp/2007 ICFP http://doi.acm.org/10.1145/1291151.1291181 db/conf/icfp/icfp2007.html#Park07