Author:
Matthews Jacob,Findler Robert Bruce
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compiled, Extensible, Multi-language DSLs (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
2. Static Blame for gradual typing;Journal of Functional Programming;2024
3. Melocoton: A Program Logic for Verified Interoperability Between OCaml and C;Proceedings of the ACM on Programming Languages;2023-10-16
4. Semantic Encapsulation using Linking Types;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
5. DimSum: A Decentralized Approach to Multi-language Semantics and Verification;Proceedings of the ACM on Programming Languages;2023-01-09