A fresh look at programming with names and binders. - Nicolas Pouillard; François Pottier (ICFP, 2010)

Nameless, painless. - Nicolas Pouillard (ICFP, 2011)

A unified treatment of syntax with binders. - Nicolas Pouillard; François Pottier (J. Funct. Program., 2012)

Namely, Painless: A unifying approach to safe programming with first-order syntax with binders. (Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs). - Nicolas Pouillard (2012)

Names for free: polymorphic views of names and binders. - Jean-Philippe Bernardy; Nicolas Pouillard (Haskell, 2013)

Approaching Model Edition as a Linear Logic Problem. - Frédéric Jouault; Nicolas Pouillard (MoDELS (Companion), 2023)

Cheptre solution to the TTC 2023 incremental Class2Relational case. - Frédéric Jouault; Nicolas Pouillard (Agile MDE/MeSS/TTC@STAF, 2023)