Hu, L., & Hutton, G. Compiling concurrency correctly: cutting out the middle man. Presented at Symposium on Trends in Functional Programming (10th)