Type-safe higher-order channels in ML-like languages.

Sungwoo Park

Browse the full ICFP paper archive.