@Unpublished{Montagu-Remy/oat,
AUTHOR = {Beno{\^\i}t Montagu and Didier R{\'e}my},
TITLE  = {{A} {L}ogical {A}ccount of {T}ype {G}enerativity:
          Abstract types have \emph{open} existential types},
YEAR =   {2008},
MONTH =  apr, 
ALSO  =  {http://gallium.inria.fr/~remy/modules/},
PDF =    {http://gallium.inria.fr/~remy/modules/oat.pdf},
}