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