Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. - Jesper Cockx; Orestis Melkonian; Lucas Escot; James Chapman 001; Ulf Norell (Haskell, 2022)

Practical generic programming over a universe of native datatypes. - Lucas Escot; Jesper Cockx (Proc. ACM Program. Lang., 2022)

Crafting Extensible Forward Incremental Parallel Embedded Build Systems. - Lucas Escot (IFL, 2023)