Not registered as user yet

Name:Surend Dayal
Affiliation:Australian National University

Contributions

ProLaLa 2022 Industry keynote -- What does a toolchain for legislation eventually become?
Show activities from other conferences

POPL 2022-profile
View general profile