A Modular Type Reconstruction Algorithm.

MLA

Rabe, Florian. “A Modular Type Reconstruction Algorithm.” ACM Transactions on Computational Logic, vol. 19, no. 4, Dec. 2018, pp. 1–43. EBSCOhost, https://doi.org/10.1145/3234693.

APA

Rabe, F. (2018). A Modular Type Reconstruction Algorithm. ACM Transactions on Computational Logic, 19(4), 1–43. https://doi.org/10.1145/3234693

Chicago

Rabe, Florian. 2018. “A Modular Type Reconstruction Algorithm.” ACM Transactions on Computational Logic 19 (4): 1–43. doi:10.1145/3234693.