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

Ryan R. Newton, mer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt

Browse the full PPoPP paper archive.