Adaptive lock-free maps: purely-functional to scalable. - Ryan R. Newton; Peter P. Fogg; Ali Varamesh (ICFP, 2015)

Parallel type-checking with haskell using saturating LVars and stream generators. - Ryan R. Newton; Ömer S. Agacan; Peter P. Fogg; Sam Tobin-Hochstadt (PPoPP, 2016)