Author:
Abadi Martín,Cardelli Luca
Cited by
430 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. System-Object Approach to Modeling Organizational Knowledge Considering General System-Level Patterns;Scientific and Technical Information Processing;2022-12
2. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21
3. A Meta-theory for Big-step Semantics;ACM Transactions on Computational Logic;2022-04-06
4. Book review;Journal of Logical and Algebraic Methods in Programming;2022-02
5. A Calculus with Recursive Types, Record Concatenation and Subtyping;Programming Languages and Systems;2022