COGENT: Certified Compilation for a Functional Systems Language
Hacker News2016. 1. 25. 07:11
COGENT: Certified Compilation for a Functional Systems Language
원문 기사 링크 : http://arxiv.org/abs/1601.05520
DMCA request is please use to GeustBook or E-Mail : zyn3103@gmail.com
