Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt. Parallel type-checking with haskell using saturating LVars and stream generators. In Rafael Asenjo 0001, Tim Harris, editors, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016. pages 6, ACM, 2016. [doi]
Abstract is missing.