Yuquan Fu, Sam Tobin-Hochstadt: Type Checking Extracted Methods. Art Sci. Eng. Program. 6(2): 6 (2022)