Not registered as user yet

Name:Tram Hoang
Affiliation:National University of Singapore

Contributions

ICFP 2022 Author of Random Testing of a Higher-Order Blockchain Language within the ICFP Papers and Events-track