Author:
Weirich Stephanie,Vytiniotis Dimitrios,Peyton Jones Simon,Zdancewic Steve
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Type-level programming with match types;Proceedings of the ACM on Programming Languages;2022-01-12
2. Higher-order type-level programming in Haskell;Proceedings of the ACM on Programming Languages;2019-07-26
3. A role for dependent types in Haskell;Proceedings of the ACM on Programming Languages;2019-07-26
4. Dependently typed Haskell in industry (experience report);Proceedings of the ACM on Programming Languages;2019-07-26
5. Generic deriving of generic traversals;Proceedings of the ACM on Programming Languages;2018-07-30