@inproceedings{PLDI-1999-FosterFA,
	author        = "Jeffrey S. Foster and Manuel Fähndrich and Alexander Aiken",
	booktitle     = "{Proceedings of the 20th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/301618.301665",
	editor        = "Barbara G. Ryder and Benjamin G. Zorn",
	isbn          = "1-58113-094-5",
	pages         = "192--203",
	publisher     = "{ACM}",
	title         = "{A Theory of Type Qualifiers}",
	year          = 1999,
}