Refinement types for call-by-name programs
Refinement types for call-by-name programs
复制标题
按名称调用程序的细化类型
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
佐藤 亮介
中科院分区：
文献类型：
--
作者：
石野ちあき; 森本尚之; 山田俊行;佐藤 亮介
