@InProceedings{Dunfield03:IntersectionsUnionsCBV,
    author =    {Joshua Dunfield and Frank Pfenning},
    title =     {Type Assignment for Intersections and Unions in Call-by-Value Languages},
    booktitle = {Proc.\ 6th Int'l Conf.\ on Foundations of Software Science and Computational Structures (FOSSACS '03)},
    pages =     {250--266},
    year =      2003,
    editor =    {A.D. Gordon},
    address =   {Warsaw, Poland},
    month =     apr,
    publisher = {Springer-Verlag LNCS 2620}
  }