Author:
Appel Andrew W.,Felty Amy P.
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21
2. Revisiting iso-recursive subtyping;Proceedings of the ACM on Programming Languages;2020-11-13
3. Secure component composition with modular behavioral properties;The Journal of Supercomputing;2014-08-24
4. Type Theories from Barendregt’s Cube for Theorem Provers;Trends in Logic;2014
5. Semantic foundations for typed assembly languages;ACM Transactions on Programming Languages and Systems;2010-03