@book{93602,
	author = {ACM SIGPLAN International Workshop on Types in Languages Design and Implementation and ACM Special Interest Group on Programming Languages},
	title = {Proceedings of the TLDI'03 :},
	publisher = {Association for Computing Machinery,},
	year = {2003},
	address = {New York :}
}