Not registered as user yet
Name:Martín Abadi
Affiliation:Google
Contributions
LAFI 2021 | The Selection Monad and Decision-Making Languages | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile
Not registered as user yet
Contributions
LAFI 2021 | The Selection Monad and Decision-Making Languages | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |