Login / Signup
Jeff Y. Luo
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Decision Making
Probabilistic Inference
Processing Units
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Tongtong Xiang
,
Jeff Y. Luo
,
Werner Dietl
Precise inference of expressive units of measurement types.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)