@MastersThesis{Scherer@master2010:mlfomega,
author     = {Gabriel Scherer},
title      = {{E}xtending {MLF} with Higher-Order Types}
school     = {{\'E}cole {N}ormale {S}up{\'e}rieur de {Paris} and INRIA},
year       = {2010},
type       = {Master thesis},
month     = aug,
url        =
  {http://gallium.inria.fr/~remy/mlf/scherer@master2010:mlfomega.pdf}
}