[学位论文]
  • Spector-Zabusky, Antal.
  • University of Pennsylvania.
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  
相关作者
相关关键词