TAPL-Coq
所属分类：Coq
开发工具：Coq
文件大小：0KB
下载次数：0
上传日期：2020-10-03 21:55:11
上 传 者：
sh-1993
说明： 本杰明·皮尔斯类型和编程语言中类型化语言属性的Coq实现和证明，
(Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce s Types and Programming Languages,)
文件列表:
Damas-Milner.v (34226, 2020-10-03)
Exception-STLC.v (15519, 2020-10-03)
Hindley-Milner.v (54813, 2020-10-03)
Mini-Ext-STLC.v (86901, 2020-10-03)
OrderedRecSubtyping-STLC.v (85451, 2020-10-03)
Patterns.v (11996, 2020-10-03)
Ref-STLC.v (23526, 2020-10-03)
STLC.v (35957, 2020-10-03)
Subsumption-STLC.v (99494, 2020-10-03)
System-F.v (83234, 2020-10-03)
# TAPL-Coq
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's ***Types and Programming Languages***.
近期下载者：
相关文件：
收藏者：