A Coq library for internal verification of running-times

Autor: McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce

Publikováno v: In Science of Computer Programming 15 October 2018 164:49-65

Towards Practical Gradual Typing

Autor: Takikawa, Asumu, Feltey, Daniel, Dean, Earl, Flatt, Matthew, Findler, Robert Bruce, Tobin-Hochstadt, Sam, Felleisen, Matthias

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addres

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5070d2df6966bacd31d361e53713cde9

A Coq Library for Internal Verification of Running-Times.

Autor: McCarthy, Jay, Fetscher, Burke, New, Max, Feltey, Daniel, Findler, Robert Bruce

Publikováno v: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p144-162, 19p