@inproceedings{PEPM-2003-ChinKX,
	author        = "Wei-Ngan Chin and Siau-Cheng Khoo and Dana N. Xu",
	booktitle     = "{Proceedings of the Ninth Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	doi           = "10.1145/777388.777397",
	isbn          = "1-58113-667-6",
	pages         = "75--84",
	publisher     = "{ACM}",
	title         = "{Extending sized type with collection analysis}",
	year          = 2003,
}