Affiliation:
1. University of Copenhagen
Publisher
Association for Computing Machinery (ACM)
Cited by
104 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Type Inference for Dynamic Languages;Proceedings of the ACM on Programming Languages;2024-01-05
2. Object Specialization to Partially Reduce Polymorphism of Attributes;Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence;2023-12-08
3. Polymorphic Types with Polynomial Sizes;Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming;2023-06-06
4. CONSTRUCTIVE MANY-ONE REDUCTION FROM THE HALTING PROBLEM TO SEMI-UNIFICATION (EXTENDED VERSION);LOG METH COMPUT SCI;2023
5. Set-theoretic Types for Erlang;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31