Palsberg, J. (1995). Efficient Inference of Object Types. BRICS Report Series, 2(32). https://doi.org/10.7146/brics.v2i32.19935