Author:
Eisenberg Richard A.,Weirich Stephanie,Ahmed Hamidhasan G.
Publisher
Springer Berlin Heidelberg
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Greedy Implicit Bounded Quantification;Proceedings of the ACM on Programming Languages;2023-10-16
2. Fusing industry and academia at GitHub (experience report);Proceedings of the ACM on Programming Languages;2022-08-29
3. Linearly qualified types: generic inference for capabilities and uniqueness;Proceedings of the ACM on Programming Languages;2022-08-29
4. Bidirectional Typing;ACM Computing Surveys;2022-06-30
5. Deriving Distributive Laws for Graded Linear Types;Electronic Proceedings in Theoretical Computer Science;2021-12-30