@book{187354,
	author = {Pierce, Benjamin C.},
	title = {Advanced topics in types and programming languages /},
	publisher = {Prentice Hall of India PVt Ltd ,},
	year = {2005.},
	address = {New Delhi :},
	edition = {1}
}