Roman Kireev

According to our database, Roman Kireev authored at least 2 papers in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Unraveling Recursion: Compiling an IR with Recursion to System F.

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

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

System F in Agda, for Fun and Profit.

James Chapman, Roman Kireev, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019