@inproceedings{SIGMOD-1989-OhoriBT,
	author        = "Atsushi Ohori and Peter Buneman and Val Tannen",
	booktitle     = "{Proceedings of the 19th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD89/P046.PDF",
	doi           = "10.1145/67544.66931",
	pages         = "46--57",
	title         = "{Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference}",
	year          = 1989,
}