Folgen
Csongor Kiss
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5