Author:
Crary Karl,Harper Robert,Puri Sidd
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Staged Compilation with Module Functors;Proceedings of the ACM on Programming Languages;2024-08-15
3. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21
4. Set-theoretic Types for Erlang;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31
5. Multiparty GV: functional multiparty session types with certified deadlock freedom;Proceedings of the ACM on Programming Languages;2022-08-29