Type-safe higher-order channels in ML-like languages (2007)

by Sungwoo Park
Venue:In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming