TY  - RPRT
TI  - Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
AU  - Michael Coblenz
AU  - Jonathan Aldrich
AU  - Joshua Sunshine
AU  - Brad A. Myers
PY  - 2020
DO  - 10.1145/3428200
UR  - https://arxiv.org/abs/2003.12209
ID  - 2003.12209
ER  -