Author:
Aiken Alexander,Wimmers Edward L.,Lakshman T. K.
Cited by
84 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ill-Typed Programs Don’t Evaluate;Proceedings of the ACM on Programming Languages;2024-01-05
2. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05
3. MLstruct: principal type inference in a Boolean algebra of structural types;Proceedings of the ACM on Programming Languages;2022-10-31
4. SimTyper: sound type inference for Ruby using type equality prediction;Proceedings of the ACM on Programming Languages;2021-10-20
5. Static analysis of pattern-free properties;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06