2026-07-24T19:05:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13175 2024-03-06T10:49:55Z ddc:004 open_access

Reference Mutability for DOT Dort, Vlastimil Lhoták, Ondřej Reference Mutability Read-only References DOT Calculus Reference mutability is a type-based technique for controlling mutation that has been thoroughly studied in Java. We explore how reference mutability interacts with the features of Scala by adding it to the Dependent Object Types (DOT) calculus. Our extension shows how reference mutability can be encoded using existing Scala features such as path-dependent, intersection, and union types. We prove type soundness and the immutability guarantee provided by our calculus. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Vlastimil Dort and Ondřej Lhoták 2020 Is Part Of LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2020.18 urn:nbn:de:0030-drops-131755 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.18 eng https://creativecommons.org/licenses/by/3.0/legalcode