ιDOT! Finally a DOT calculus where objects have Scala-like fields! By @ifazk, Yufeng Li, and Ondřej Lhoták.
ιDOT: A DOT Calculus with Object Initialization
Paper DOI: https://doi.org/10.1145/3428276
Presented at OOPSLA, part of SPLASH 2020
By Ifaz Kabir, Yufeng Li, Ondřej Lhoták