日本語
ライブラリー > Jann Müller
Software Engineer
Engineering
Germany
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
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