Partial Type Signatures for Haskell. - Thomas Winant; Dominique Devriese; Frank Piessens; Tom Schrijvers (PADL, 2014)

Expressive and strongly type-safe code generation. - Thomas Winant; Jesper Cockx; Dominique Devriese (PPDP, 2017)

Coherent explicit dictionary application for Haskell. - Thomas Winant; Dominique Devriese (Haskell@ICFP, 2018)

Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof. - Thomas Winant; Dominique Devriese (CoRR, 2018)