Author:
Dreyer Derek,Crary Karl,Harper Robert
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fulfilling OCaml Modules with Transparency;Proceedings of the ACM on Programming Languages;2024-04-29
2. An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming;Lecture Notes in Computer Science;2024
3. Stable relations and abstract interpretation of higher-order programs;Proceedings of the ACM on Programming Languages;2020-08-02
4. A path to DOT: formalizing fully path-dependent types;Proceedings of the ACM on Programming Languages;2019-10-10
5. Fully abstract module compilation;Proceedings of the ACM on Programming Languages;2019-01-02