Author:
Abadi Martín,Cardelli Luca,Viswanathan Ramesh
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05
2. Mutually Iso-Recursive Subtyping;Proceedings of the ACM on Programming Languages;2023-10-16
3. Recursive Subtyping for All;Proceedings of the ACM on Programming Languages;2023-01-09
4. Familia: unifying interfaces, type classes, and family polymorphism;Proceedings of the ACM on Programming Languages;2017-10-12
5. Software Modeling Language with Frames and Multi-abstractions: An Overview;Artificial Intelligence and Soft Computing;2012