@inproceedings{jones2019unraveling,
  title={Unraveling recursion: compiling an IR with recursion to System F},
  author={Jones, Michael Peyton and Gkoumas, Vasilis and Kireev, Roman and MacKenzie, Kenneth and Nester, Chad and Wadler, Philip},
  booktitle={International Conference on Mathematics of Program Construction},
  pages={414--443},
  year={2019},
  organization={Springer}
}