Dependent types and multi-monadic effects in F* 论文

2016引用 288
DOIPDF
Logic, programming, and type systemsSecurity and Verification in ComputingFormal Methods in Verification
网络安全Security and Verification in ComputingLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Dependent types and multi-monadic effects in F* · 相关文章

暂无数据