@inproceedings{LFP-1982-MacQueenS,
	author        = "David B. MacQueen and Ravi Sethi",
	booktitle     = "{Proceedings of the 1982 ACM Symposium on LISP and Functional Programming}",
	pages         = "243--252",
	title         = "{A Semantic Model of Types for Applicative Languages}",
	year          = 1982,
}