Matching lenses: alignment and view update. - Davi M. J. Barbosa; Julien Cretin; Nate Foster; Michael Greenberg 002; Benjamin C. Pierce (ICFP, 2010)

On the power of coercion abstraction. - Julien Cretin; Didier Rémy (POPL, 2012)

Giving Haskell a promotion. - Brent A. Yorgey; Stephanie Weirich; Julien Cretin; Simon L. Peyton Jones; Dimitrios Vytiniotis; José Pedro Magalhães (TLDI, 2012)

System F with coercion constraints. - Julien Cretin; Didier Rémy (CSL-LICS, 2014)

Erasable coercions: a unified approach to type systems. (Coercions effaçables : une approche unifiée des systèmes de types). - Julien Cretin (2014)

Hybrid Post-Quantum Signatures in Hardware Security Keys. - Diana Ghinea; Fabian Kaczmarczyck; Jennifer Pullman; Julien Cretin; Stefan Kölbl; Rafael Misoczki; Jean-Michel Picod; Luca Invernizzi; Elie Bursztein (IACR Cryptol. ePrint Arch., 2022)

MAGIKA: AI-Powered Content-Type Detection. - Yanick Fratantonio; Luca Invernizzi; Loua Farah; Kurt Thomas; Marina Zhang; Ange Albertini; Francois Galilee; Giancarlo Metitieri; Julien Cretin; Alex Petit-Bianco; David Tao; Elie Bursztein (ICSE, 2025)