@techreport{Monnier02, author = "Stefan Monnier and Zhong Shao", title = "Typed Regions", institution = "Dept. of Computer Science, Yale University", address = "New Haven, CT", number = "YALEU/DCS/TR-1242", month = oct, year = 2002 }