Principles and Practice of Parallel Programming

• Author of Parallel Type-checking with Haskell using Saturating LVars and Stream Generators within the Main conference-track