Precise inference of expressive units of measurement types. - Tongtong Xiang; Jeff Y. Luo; Werner Dietl (Proc. ACM Program. Lang., 2020)