Csongor Kiss

Orcid: 0000-0002-0195-2420

According to our database1, Csongor Kiss authored at least 5 papers between 2018 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Linearly qualified types: generic inference for capabilities and uniqueness.
Proc. ACM Program. Lang., 2022

2021
Linear Constraints.
CoRR, 2021

2019
Higher-order type-level programming in Haskell.
Proc. ACM Program. Lang., 2019

Multi-stage programs in context.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018
Generic deriving of generic traversals.
Proc. ACM Program. Lang., 2018


  Loading...