A. J. Fisher
-
Type checking concurrent I/O
ACM Transactions on Programming Languages and Systems (TOPLAS)