Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham. Safe object initialization, abstractly. In Julien Richard-Foy, Sébastien Doeraene, editors, SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021. pages 33-43, ACM, 2021. [doi]