The system F of variable types, fifteen years later 论文

1986Theoretical Computer Science引用 356
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

The system F of variable types, fifteen years later · 相关技术

暂无数据