Author:
Acar Umut A.,Ahmed Amal,Blume Matthias
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go;Journal of Functional Programming;2023
2. Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go;Lecture Notes in Computer Science;2022
3. Compiling with continuations, correctly;Proceedings of the ACM on Programming Languages;2021-10-20
4. Compositional optimizations for CertiCoq;Proceedings of the ACM on Programming Languages;2021-08-22
5. Demanded abstract interpretation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18