A Type Theory for Krivine-style Evaluation and Compilation

A Type Theory for Krivine-style Evaluation and Compilation
复制标题

克里文式评估和编译的类型理论

DOI：
--
复制
发表时间：
2004
期刊：
Asian Symposium on Programming Languages and Systems LNCS 3302
影响因子：
--
通讯作者：
A.Ohori
A.Ohori
中科院分区：
--
文献类型：
--
作者：
K.Choi;A.Ohori

文献摘要

相似文献