@techreport{Siek:2008kq,
	Author = {Jeremy Siek and Manish Vachharajani},
	Institution = {University of Colorado at Boulder},
	Month = {January},
	Number = {CU-CS-1039-08},
	Title = {Gradual Typing with Unification-based Inference},
	Year = {2008},
}