Peyton Jones, M, Gkoumas, V, Kireev, R, MacKenzie, K, Nester, C & Wadler, P 2019, Unraveling Recursion: Compiling an IR with Recursion to System F . in G Hutton (ed.), Mathematics of Program Construction . Lecture Notes in Computer Science (LNCS), vol. 11825, Cham, pp. 414-443, 13th International Conference on Mathematics of Program Construction, Porto, Portugal, 7/10/19 . https://doi.org/10.1007/978-3-030-33636-3_15