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

by S Park
Venue:in: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ACM