| Higher-order type-level programming in Haskell C Kiss, T Field, S Eisenbach, S Peyton Jones Proceedings of the ACM on Programming Languages 3 (ICFP), 1-26, 2019 | 14 | 2019 |
| Multi-stage programs in context M Pickering, N Wu, C Kiss Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 71-84, 2019 | 11 | 2019 |
| Generic deriving of generic traversals C Kiss, M Pickering, N Wu Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 10 | 2018 |
| Linearly qualified types: generic inference for capabilities and uniqueness A Spiwack, C Kiss, JP Bernardy, N Wu, RA Eisenberg Proceedings of the ACM on Programming Languages 6 (ICFP), 137-164, 2022 | 9 | 2022 |
| Linearly Qualified Types C KISS, JP BERNARDY, N WU, RA EISENBERG | | 2022 |
| Linearly alified Types C KISS, JP BERNARDY, N WU, RA EISENBERG arXiv preprint arXiv:2103.06127, 2021 | | 2021 |
