Author:
Korenjak A. J.,Hopcroft J. E.
Cited by
130 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic higher-order context-free session types;Theoretical Computer Science;2024-06
2. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05
3. The Hardest LL(k) Language;International Journal of Foundations of Computer Science;2023-02
4. System $$F^\mu _\omega $$ with Context-free Session Types;Programming Languages and Systems;2023
5. Nested Session Types;ACM Transactions on Programming Languages and Systems;2022-07-15