@MastersThesis{Herms@master2009:mlf-omega,
author     = {Paolo Herms},
title      = {{P}artial {T}ype {I}nference with {H}igher-{O}rder {T}ypes},
school     = {University of Pisa and INRIA},
year       = {2009},
type       = {Master thesis},
Tmonth     = {July},
url        =
  {http://pauillac.inria.fr/~remy/mlf/Herms@master2009.pdf}
}