activity
20212023
most citedSimple Reference Immutability for System F-sub

3 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.PL2023★ 1 cited

Qualifying System F-sub

Edward Lee, Yaoyu Zhao, James You +3

Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effe…

cs.PL2023★ 3 cited

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…