Follow
Csongor Kiss
Title
Cited by
Cited by
Year
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
152019
Multi-stage programs in context
M Pickering, N Wu, C Kiss
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 71-84, 2019
102019
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
102018
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
62022
Linearly Qualified Types
C KISS, JP BERNARDY, N WU, RA EISENBERG
2022
The system can't perform the operation now. Try again later.
Articles 1–5