Answer Formulation for Question-Answering. - Leila Kosseim; Luc Plamondon; Louis-Julien Guillemette (AI, 2003)

Type-Safe Code Transformations in Haskell. - Louis-Julien Guillemette; Stefan Monnier (PLPV@IJCAR, 2006)

A type-preserving closure conversion in haskell. - Louis-Julien Guillemette; Stefan Monnier (Haskell, 2007)

A type-preserving compiler in Haskell. - Louis-Julien Guillemette; Stefan Monnier (ICFP, 2008)

One Vote for Type Families in Haskell! - Louis-Julien Guillemette; Stefan Monnier (Trends in Functional Programming, 2008)

Type invariants for Haskell. - Tom Schrijvers; Louis-Julien Guillemette; Stefan Monnier (PLPV, 2009)