@conference {DBLP:conf/pldi/RondonKJ08,
	title = {Liquid types},
	booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
	year = {2008},
	pages = {159{\textendash}169},
	doi = {10.1145/1375581.1375602},
	url = {http://doi.acm.org/10.1145/1375581.1375602},
	author = {Patrick Maxim Rondon and Ming Kawaguchi and Ranjit Jhala}
}
