@inproceedings{PLDI-2019-NguyenGTH,
	author        = "Phuc C. Nguyen and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn",
	booktitle     = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/3314221.3314643",
	isbn          = "978-1-4503-6712-7",
	pages         = "845--859",
	publisher     = "{ACM}",
	title         = "{Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs}",
	year          = 2019,
}