Gabriel Scherer, Didier Rémy: GADTs Meet Subtyping. ESOP 2013: 554-573