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

Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Autor: Oleg Kiselyov, Andy King

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selected from 36 submis