
Registered user since Fri 3 Aug 2018
Name:Anton Trunov
Country:Russia
Affiliation:Zilliqa Research
Contributions
ICFP 2022 | Random Testing of a Higher-Order Blockchain Language | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile