Generic deriving of generic traversals. - Csongor Kiss; Matthew Pickering; Nicolas Wu (Proc. ACM Program. Lang., 2018)

Multi-stage programs in context. - Matthew Pickering; Nicolas Wu; Csongor Kiss (Haskell@ICFP, 2019)

Higher-order type-level programming in Haskell. - Csongor Kiss; Tony Field; Susan Eisenbach; Simon Peyton Jones (Proc. ACM Program. Lang., 2019)

Linear Constraints. - Jean-Philippe Bernardy; Richard A. Eisenberg; Csongor Kiss; Arnaud Spiwack; Nicolas Wu (CoRR, 2021)

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)