Higher-order functors with transparent signatures
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fulfilling OCaml Modules with Transparency;Proceedings of the ACM on Programming Languages;2024-04-29
2. A focused solution to the avoidance problem;Journal of Functional Programming;2020
3. 1ML – Core and modules united;Journal of Functional Programming;2018
4. 1ML with Special Effects;A List of Successes That Can Change the World;2016
5. 1ML – core and modules united (F-ing first-class modules);ACM SIGPLAN Notices;2015-12-18