@inproceedings{POPL-1989-AbadiCPP,
	author        = "Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin",
	booktitle     = "{Conference Record of the 16th Annual Symposium on Principles of Programming Languages}",
	doi           = "10.1145/75277.75296",
	isbn          = "0-89791-294-2",
	note          = "long version: TOPLAS 13 (2): 237-268 (1991)",
	pages         = "213--227",
	publisher     = "{ACM Press}",
	title         = "{Dynamic Typing in a Statically-Typed Language}",
	year          = 1989,
}