CakeML 论文

2014引用 319
DOI
Logic, programming, and type systemsParallel Computing and Optimization TechniquesSecurity and Verification in Computing
网络安全Parallel Computing and Optimization TechniquesSecurity and Verification in ComputingLogic, programming, and type systems
相关技术:Parallel Computing and Optimization Techniques
关系图谱

CakeML · 作者

S

Scott Owens

M

Michael Norrish

M

Magnus O. Myreen

R

Ramana Kumar