Catala: a programming language for the law. - Denis Merigoux; Nicolas Chataing; Jonathan Protzenko (Proc. ACM Program. Lang., 2021)

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. - Nicolas Chataing; Stephen Dolan; Gabriel Scherer; Jeremy Yallop (Proc. ACM Program. Lang., 2024)