%0 Conference Paper %1 conf/pldi/NguyenGTH19 %A Nguyen, Phuc C. %A Gilray, Thomas %A Tobin-Hochstadt, Sam %A Horn, David Van %B PLDI %D 2019 %E McKinley, Kathryn S. %E Fisher, Kathleen %I ACM %K dblp %P 845-859 %T Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#NguyenGTH19 %@ 978-1-4503-6712-7

@inproceedings{conf/pldi/NguyenGTH19, added-at = {2023-03-21T00:00:00.000+0100}, author = {Nguyen, Phuc C. and Gilray, Thomas and Tobin-Hochstadt, Sam and Horn, David Van}, biburl = {https://www.bibsonomy.org/bibtex/295e85c1299ea28dc7a9758b8dde25a72/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2019}, editor = {McKinley, Kathryn S. and Fisher, Kathleen}, ee = {https://doi.org/10.1145/3314221.3314643}, interhash = {29cff5d50a60858ea35be3e11daaa86e}, intrahash = {95e85c1299ea28dc7a9758b8dde25a72}, isbn = {978-1-4503-6712-7}, keywords = {dblp}, pages = {845-859}, publisher = {ACM}, timestamp = {2024-04-10T06:17:16.000+0200}, title = {Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#NguyenGTH19}, year = 2019 }