@inproceedings{OOPSLA-2005-KennedyR,
	author        = "Andrew Kennedy and Claudio V. Russo",
	booktitle     = "{Proceedings of the 20th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/1094811.1094814",
	editor        = "Ralph E. Johnson and Richard P. Gabriel",
	isbn          = "1-59593-031-0",
	pages         = "21--40",
	publisher     = "{ACM}",
	title         = "{Generalized algebraic data types and object-oriented programming}",
	year          = 2005,
}