@inproceedings{kdot,
 author = {Kabir, Ifaz and Lhot\'{a}k, Ond\v{r}ej},
 title = {$\kappa$DOT: Scaling DOT with Mutation and Constructors},
 booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala},
 series = {Scala 2018},
 year = {2018},
 isbn = {978-1-4503-5836-1},
 location = {St. Louis, MO, USA},
 pages = {40--50},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/3241653.3241659},
 doi = {10.1145/3241653.3241659},
 acmid = {3241659},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dependent object types, mutation, type safety},
}