Dawn Michaelson, Gopalan Nadathur, and Eric Van Wyk,
ACM Transactions on Programming Languages and Systems (TOPLAS)
DOI
An earlier version of this paper on arXiv can be found here.