@inproceedings{Haskell-2008-AhnS,
	author        = "Ki Yung Ahn and Tim Sheard",
	booktitle     = "{Proceedings of the First International Symposium on Haskell}",
	doi           = "10.1145/1411286.1411297",
	isbn          = "978-1-60558-064-7",
	pages         = "75--86",
	publisher     = "{ACM}",
	title         = "{Shared subtypes: subtyping recursive parametrized algebraic data types}",
	year          = 2008,
}