@techreport{Siek:2006fk,
	Address = {Boulder, CO},
	Author = {Jeremy Siek and Walid Taha},
	Date-Added = {2006-12-05 13:50:44 -0700},
	Date-Modified = {2006-12-27 09:10:22 -0700},
	Institution = {University of Colorado},
	Month = {December},
	Number = {CU-CS-1021-06},
	Title = {Gradual Typing for Objects: Isabelle Formaliztaion},
	Year = {2006}}