Unraveling Recursion: Compiling an IR with Recursion to System F. - Michael Peyton Jones; Vasilis Gkoumas; Roman Kireev; Kenneth MacKenzie; Chad Nester; Philip Wadler (MPC, 2019)