Author:
Adams Michael D.,Farmer Andrew,Magalhães José Pedro
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Staged sums of products;Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09
2. Improving Haskell;Lecture Notes in Computer Science;2019
3. Generic deriving of generic traversals;Proceedings of the ACM on Programming Languages;2018-07-30
4. Staged generic programming;Proceedings of the ACM on Programming Languages;2017-08-29
5. Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs;ACM SIGPLAN Notices;2016-01-28