@inproceedings{PatersonRA:pointed,
	title = "Parametricity and Unboxing with Unpointed Types",
	author = "John Launchbury and Ross Paterson",
	booktitle = "European Symposium of Programming",
	location = "Link{\"o}ping, Sweden",
	series = "Lecture Notes in Computer Science",
	volume = 1058,
	publisher = "Springer",
	isbn = "3-540-61055-3",
	pages = "204-218",
	url = "http://www.soi.city.ac.uk/~ross/papers/pointed.html",
	month = Apr,
	year = 1996
}