Author:
Ahmed Amal,Findler Robert Bruce,Siek Jeremy G.,Wadler Philip
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric;Proceedings of the ACM on Programming Languages;2024-06-20
2. Gradually Typed Languages Should Be Vigilant!;Proceedings of the ACM on Programming Languages;2024-04-29
3. Static Blame for gradual typing;Journal of Functional Programming;2024
4. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05
5. Pragmatic Gradual Polymorphism with References;Programming Languages and Systems;2023