Sungwoo Park
Type-safe higher-order channels in ML-like languages
ICFP, 2007.
@inproceedings{ICFP-2007-Park, author = "Sungwoo Park", booktitle = "{Proceedings of the 12th International Conference on Functional Programming}", doi = "10.1145/1291151.1291181", editor = "Ralf Hinze and Norman Ramsey", isbn = "978-1-59593-815-2", pages = "191--202", publisher = "{ACM}", title = "{Type-safe higher-order channels in ML-like languages}", year = 2007, }