Semantics Driven Disambiguation: A Comparison of Different Approaches. - Akim Demaille; Renaud Durlin; Nicolas Pierron; Benoît Sigoure (LDTA, 2008)

NixOS: A purely functional Linux distribution. - Eelco Dolstra; Andres Löh; Nicolas Pierron (J. Funct. Program., 2010)