System F in Agda, for fun and profit
October 2019 — James Chapman, Roman Kireev, Chad Nester, Prof Philip Wadler
MPC'19Where science meets purpose
Categories
Topics
Authors
Research Papers
Unraveling recursion: compiling an IR with recursion to System F
October 2019 — Roman Kireev, Chad Nester, Michael Peyton Jones, Prof Philip Wadler, Vasilis Gkoumas, Kenneth MacKenzie
MPC'19Functional Blockchain Contracts
May 2019 — Manuel Chakravarty, Roman Kireev, Kenneth MacKenzie, Vanessa McHale, Jann Müller, Alexander Nemish, Chad Nester, Michael Peyton Jones, Prof Simon Thompson, Rebecca Valentine, Prof Philip Wadler
Draft