Author:
Benton Nick,Hur Chung-Kil
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Semantic Encapsulation using Linking Types;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
2. DimSum: A Decentralized Approach to Multi-language Semantics and Verification;Proceedings of the ACM on Programming Languages;2023-01-09
3. A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go;Journal of Functional Programming;2023
4. Semantic soundness for language interoperability;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go;Lecture Notes in Computer Science;2022