2026-07-25T06:16:49Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13211 2024-03-06T11:05:10Z ddc:004 open_access

Scala with Explicit Nulls (Artifact) Nieto, Abel Zhao, Yaoyu Lhoták, Ondřej Chang, Angela Pu, Justin Scala Java nullability language interoperability type systems This artifact is a companion to the paper "Scala with Explicit Nulls", where we present a modification to the Scala type system that makes nullability explicit in the types. Specifically, we make reference types non-nullable by default, while still allowing for nullable types via union types. The artifact contains an implementation of this new type system design as a fork of the Dotty (Scala 3) compiler. Additionally, the artifact contains the source code of multiple Scala libraries that we used to evaluate our design. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Abel Nieto and Yaoyu Zhao and Ondřej Lhoták and Angela Chang and Justin Pu 2020 Is Part Of DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.6.2.14 urn:nbn:de:0030-drops-132117 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.14 eng https://creativecommons.org/licenses/by/3.0/legalcode