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

by Sungwoo Park
Venue:PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, ACM
Citations:4 - 1 self