English
Library > Roman Kireev
Software Engineer
Engineering
Russia
Roman Kireev,Chad Nester,Michael Peyton Jones,Prof Philip Wadler,Vasilis Gkoumas,Kenneth MacKenzie
October/2019, MPC'19
BLOCKCHAINPLUTUSSMARTCONTRACTSYSTEMF
James Chapman,Roman Kireev,Chad Nester,Prof Philip Wadler
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
May/2019, Draft
BLOCKCHAINHASKELLPLUTUSSMARTCONTRACTSYSTEMF