Julien Cretin

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

Julien Cretin, 2014 .

On the power of coercion abstraction

Didier Rémy, Julien Cretin, 2012, POPL '12.

Matching lenses: alignment and view update

Benjamin C. Pierce, Nate Foster, Michael Greenberg, 2010, ICFP '10.

Giving Haskell a promotion

Simon L. Peyton Jones, Stephanie Weirich, José Pedro Magalhães, 2012, TLDI '12.

System F with coercion constraints

Didier Rémy, Julien Cretin, 2014, CSL-LICS.