卢克·卡德利(Luca Cardelli) 人物
相关论文查看全部 (4)
On understanding types, data abstraction, and polymorphism
1985ACM Computing Surveys引用 1673
A Theory of Objects
1996Texts and monographs in computer science引用 1011
BioAmbients: an abstraction for biological compartments
2004Theoretical Computer Science引用 476
Subtyping recursive types
1993ACM Transactions on Programming Languages and Systems引用 353
相关公司查看全部 (2)
AT&T (Israel)COMPANY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据