Associated type synonyms 论文

2005引用 223
DOI
Logic, programming, and type systemsSoftware Engineering ResearchParallel Computing and Optimization Techniques
企业软件Software Engineering ResearchParallel Computing and Optimization TechniquesLogic, programming, and type systems
相关技术:Parallel Computing and Optimization Techniques
关系图谱

Associated type synonyms · 作者

西

西蒙·佩頓·瓊斯

G

Gabriele Keller

M

Manuel M. T. Chakravarty