Author:
Schrijvers Tom,Peyton Jones Simon,Chakravarty Manuel,Sulzmann Martin
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial type constructors in practice;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
2. Embedded pattern matching;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
3. Type-level programming with match types;Proceedings of the ACM on Programming Languages;2022-01-12
4. Haskell⁻¹: automatic function inversion in Haskell;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
5. Short Paper: Weak Runtime-Irrelevant Typing for Security;Proceedings of the 15th Workshop on Programming Languages and Analysis for Security;2020-11-09