Csongor Kiss

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 6

Top Topics

Linear Constraints

Domain Specific

Functional Language

Top Venues

Proc. ACM Program. Lang.

Publications

Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
Linearly qualified types: generic inference for capabilities and uniqueness. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
Linear Constraints. CoRR (2021)
Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones
Higher-order type-level programming in Haskell. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Matthew Pickering, Nicolas Wu, Csongor Kiss
Multi-stage programs in context. Haskell@ICFP (2019)
Csongor Kiss, Matthew Pickering, Nicolas Wu
Generic deriving of generic traversals. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Csongor Kiss, Matthew Pickering, Nicolas Wu
Generic Deriving of Generic Traversals. CoRR (2018)