@inproceedings{PPDP-2006-LindahlS,
	author        = "Tobias Lindahl and Konstantinos F. Sagonas",
	booktitle     = "{Proceedings of the Eighth International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/1140335.1140356",
	isbn          = "1-59593-388-3",
	pages         = "167--178",
	publisher     = "{ACM}",
	title         = "{Practical type inference based on success typings}",
	year          = 2006,
}