@InProceedings{Laurent19,
  author    = {Olivier Laurent},
  title     = {Intersection Subtyping with Constructors},
  booktitle = {Proceedings Twelfth Workshop on {D}evelopments in {C}omputational {M}odels and Ninth Workshop on {I}ntersection {T}ypes and {R}elated {S}ystems ({DCM} 2018 and {ITRS} 2018)},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {293},
  pages     = {73--84},
  editor    = {Michele Pagani and Sandra Alves},
  month     = apr,
  year      = {2019}
}