ISBN | 9798738648472 | ||
---|---|---|---|
作者 | Spector-Zabusky, Antal. | 授予学位单位 | University of Pennsylvania. |
导师 | Weirich, Stephanie | 学位 | Ph.D. |
学科 | Computer science. | 国籍 | US |
页码/总页数 | 241 p. / 241 | 出版年 | 2021 |
中图分类号 | TP | ||
关键词 | coq Edit files Haskell hs-to-coq Translation Verification |