Martin Odersky, Yichen Xu
Though being seemingly orthogonal, the scoping restrictions enforced by capture checking and mutable variables give rise to surprising challenges when they interact. To obtain a system that is both sound and expressive, the Scala capture checker introduced ...
Association for Computing Machinery, Inc2024