English
Library > Polina Vinogradova
Software Engineer
Engineering
Canada
Manuel Chakravarty,Nikos Karayannidis,Aggelos Kiayias,Michael Peyton Jones,Polina Vinogradova
June 2021, arXiv.org
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Jann Müller,Michael Peyton Jones,Polina Vinogradova,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,Philip Wadler
AGDAPLUTUS
Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Díaz,Matthias Güdemann,Wolfgang Jeltsh,Marcin Szamotulski,Polina Vinogradova
August 2020, TFP '20 (LNCS)