Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn. Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 845-859, ACM, 2019. [doi]
Abstract is missing.