Yuquan Fu, Sam Tobin-Hochstadt. Type Checking Extracted Methods. Programming Journal, 6(2):6, 2022. [doi]
@article{FuT22,
title = {Type Checking Extracted Methods},
author = {Yuquan Fu and Sam Tobin-Hochstadt},
year = {2022},
doi = {10.22152/programming-journal.org/2022/6/6},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/6},
researchr = {https://researchr.org/publication/FuT22},
cites = {0},
citedby = {0},
journal = {Programming Journal},
volume = {6},
number = {2},
pages = {6},
}