Unraveling recursion: compiling an IR with recursion to System F

DOI10.1007/978-3-030-33636-3_15zbMath1434.68099OpenAlexW2980953397MaRDI QIDQ2176691

Kenneth MacKenzie, Philip Wadler, Roman Kireev, Michael Peyton Jones, Vasilis Gkoumas, Chad Nester

Publication date: 5 May 2020

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/129967828/Unravelling_Recursion_JONES_DOA14062019_AFV.pdf

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (1)

Translation certification for smart contracts

This page was built for publication: Unraveling recursion: compiling an IR with recursion to System F