English
Library > Roman Kireev
Software Engineer
Engineering
Russia
Ziyang Liu,Kenneth MacKenzie,Roman Kireev,Michael Peyton Jones,Prof Philip Wadler,Manuel Chakravarty
October/2025, To appear in: Haskell '25
PLUTUS
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