학술논문
Verified low-Level programming embedded in f
Document Type
Article
Author
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, September 2017, 1(ICFP))
Subject
Language
English
ISSN
24751421