Author:
Dreyer Derek,Crary Karl,Harper Robert
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Stable relations and abstract interpretation of higher-order programs;Proceedings of the ACM on Programming Languages;2020-08-02
2. A path to DOT: formalizing fully path-dependent types;Proceedings of the ACM on Programming Languages;2019-10-10
3. Fully abstract module compilation;Proceedings of the ACM on Programming Languages;2019-01-02
4. Strong Sums in Focused Logic;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. 1ML – Core and modules united;Journal of Functional Programming;2018