TY - RPRT TI - User-driven Design and Evaluation of Liquid Types in Java AU - Catarina Gamboa AU - Paulo Alexandre Santos AU - Christopher S. Timperley AU - Alcides Fonseca PY - 2021 UR - https://arxiv.org/abs/2110.05444 ID - 2110.05444 ER -