System F with type equality coercions 论文

2007引用 238
DOI
Logic, programming, and type systemsAdvanced Database Systems and QueriesSemantic Web and Ontologies
企业软件Semantic Web and OntologiesAdvanced Database Systems and QueriesLogic, programming, and type systems
关系图谱

System F with type equality coercions · 相关技术

暂无数据