A Library for Secure Multi-threaded Information Flow in Haskell. - Ta-Chung Tsai; Alejandro Russo; John Hughes 001 (CSF, 2007)

XML Stream Processing Using a Lazy Concurrent Language. - Shin-Cheng Mu; Ta-Chung Tsai; Keisuke Nakano 001 (PLAN-X, 2008)