@inproceedings{conf/csfw/TsaiRH07,
	title = {A Library for Secure Multi-threaded Information Flow in Haskell.},
	author = {Ta-Chung Tsai and Alejandro Russo and John Hughes},
	booktitle = {CSF},
	crossref = {conf/csfw/2007},
	pages = {187-202},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/csfw/csf2007.html#TsaiRH07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2bcf768f36534b1b7f5bb923443b65f25/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/CSF.2007.6}, date = {2008-04-25},
	keywords = {dblp }
}