Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs.

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn

Browse the full PLDI paper archive.