A Type-and-Effect System for Object Initialization
Hi, this is @liufengyun, a PhD student at EPFL.
Our OOPSLA'20 paper is about a 50-year old problem: safe initialization of objects.
Our work shows the design and implementation of a safe initialization checker for Scala.
https://2020.splashcon.org/details/sp...
A Type-and-Effect System for Object Initialization
Paper DOI: https://doi.org/10.1145/3428243
Presented at OOPSLA, part of SPLASH 2020
By Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky