喵ID：Dw10xK
A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions
A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions基本信息
DOI：
10.1145/1328438.1328483
10.1145/1328438.1328483发表时间：
2008-01-01
2008-01-01期刊：
POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES影响因子：
--
--通讯作者：
Pientka, Brigitte
Pientka, Brigitte中科院分区：
其他
其他文献类型：
Proceedings Paper
Proceedings Paper 作者： Pientka, Brigitte
研究方向： --
MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址
文献摘要
暂无数据
参考文献（26）
被引文献（0）
暂无数据
数据更新时间：2024-06-01
