Author:
Abadi M.,Cardelli L.,Pierce B.,Plotkin G.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Pragmatic Gradual Polymorphism with References;Programming Languages and Systems;2023
2. Static type checking without downcast operator;Information Processing Letters;2022-11
3. Judging a type by its pointer: optimizing GPU virtual functions;Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2021-04-17
4. Cross-Language Interoperability in a Multi-Language Runtime;ACM Transactions on Programming Languages and Systems;2018-06-02
5. Big types in little runtime: open-world soundness and collaborative blame for gradual type systems;ACM SIGPLAN Notices;2017-05-11