Csongor Kiss

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2022

Linearly qualified types: generic inference for capabilities and uniqueness.

Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg

Proc. ACM Program. Lang., 2022

2021

Linear Constraints.

Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu

CoRR, 2021

2019

Higher-order type-level programming in Haskell.

Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones

Proc. ACM Program. Lang., 2019

Multi-stage programs in context.

Matthew Pickering, Nicolas Wu, Csongor Kiss

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Generic deriving of generic traversals.

Csongor Kiss, Matthew Pickering, Nicolas Wu

Proc. ACM Program. Lang., 2018