Pluggable Type Inference for Free. - Martin Kellogg; Daniel Daskiewicz; Loi Ngo Duc Nguyen; Muyeed Ahmed; Michael D. Ernst (ASE, 2023)