日本語
ライブラリー > 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