ιDOT: A DOT Calculus with Object Initialization

Опубликовано: 20 Февраль 2026
на канале: ACM SIGPLAN
135
2

ι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