Parallel type-checking with haskell using saturating LVars and stream generators

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]

Authors

Ryan R. Newton

This author has not been identified. Look up 'Ryan R. Newton' in Google

Ömer S. Agacan

This author has not been identified. Look up 'Ömer S. Agacan' in Google

Peter P. Fogg

This author has not been identified. Look up 'Peter P. Fogg' in Google

Sam Tobin-Hochstadt

This author has not been identified. Look up 'Sam Tobin-Hochstadt' in Google