English
Library > Roman Kireev
Software Engineer
Engineering
Russia
Roman Kireev,Chad Nester,Michael Peyton Jones,Philip Wadler,Vasilis Gkoumas,Kenneth MacKenzie
October 2019, MPC'19
BLOCKCHAINPLUTUSSMARTCONTRACTSYSTEMF
James Chapman,Roman Kireev,Chad Nester,Philip Wadler
Manuel Chakravarty,Roman Kireev,Kenneth MacKenzie,Vanessa McHale,Jann Müller,Alexander Nemish,Chad Nester,Michael Peyton Jones,Simon Thompson,Rebecca Valentine,Philip Wadler
May 2019, Draft
BLOCKCHAINHASKELLPLUTUSSMARTCONTRACTSYSTEMF