@inproceedings{Fogarty:2007fk,
	Author = {Seth Fogarty and Emir Pasalic and Jeremy Siek and Walid Taha},
	Booktitle = {ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07)},
	Date-Added = {2006-12-27 21:58:35 -0700},
	Date-Modified = {2006-12-27 22:00:08 -0700},
	Local-Url = {file://localhost/Users/siek/papers/paper.pdf},
	Title = {Concoqtion: Indexed Types Now!},
	Year = {2007}}