Simple Reference Immutability for System F-sub

Edward Lee, Ondřej Lhoták

Reference immutability is a type based technique for taming mutation that has long been studied in the context of object-oriented languages, like Java. Recently, though, languages…