Author:
Aldrich Jonathan,Simmons Robert J.,Shin Key
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21
2. Evolution of SASyLF 2008-2021;Electronic Proceedings in Theoretical Computer Science;2022-02-08
3. Extrinsically typed operational semantics for functional languages;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15
4. Type systems for the masses: deriving soundness proofs and efficient checkers;2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!);2015-10-21
5. An Open Challenge Problem Repository for Systems Supporting Binders;Electronic Proceedings in Theoretical Computer Science;2015-07-27