Library > Joachim Zahnentferner
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Jann Müller,Michael Peyton Jones,Polina Vinogradova,Philip Wadler,Joachim Zahnentferner
October 2020, To appear at: ISoLA 2020
AGDAHASKELLPLUTUS
Joachim Zahnentferner
April 2018, EPrint Archive
BITCOINBLOCKCHAINCRYPTOCURRENCY