日本語
ライブラリー > Polina Vinogradova
Research Engineer
Engineering
Canada
James Chapman,Arnaud Bailly,Polina Vinogradova
September/2024, FUNARCH '24
AGDACARDANOFORMALMETHODS
Polina Vinogradova,Michael Peyton Jones
August/2024, WiFM Workshop
UTXOINTENTS
Polina Vinogradova,Orestis Melkonian,Prof Philip Wadler,Manuel Chakravarty,Jacco Krijnen,Michael Peyton Jones,James Chapman,Tudor Ferariu
April/2024, FMBC 2024
UTXO
Polina Vinogradova,Orestis Melkonian
March/2024, WTSC 2024
UTXOSMARTCONTRACT
Manuel Chakravarty,Nikos Karayannidis,Prof Aggelos Kiayias,Michael Peyton Jones,Polina Vinogradova
June/2022, ACNS '22
TRANSACTION-FEES
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Jann Müller,Michael Peyton Jones,Polina Vinogradova,Prof Philip Wadler,Joachim Zahnentferner
October/2020, ISoLA 2020
AGDAHASKELLPLUTUS
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Jann Müller,Michael Peyton Jones,Polina Vinogradova,Prof Philip Wadler
AGDAPLUTUS
Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Roberto Diaz,Matthias Güdemann,Wolfgang Jeltsch,Marcin Szamotulski,Polina Vinogradova
August/2020, TFP '20 (LNCS)
FORMALMETHODS