conf.researchr.org / Logan Leland
Not registered as user yet
Name:Logan Leland
Contributions
PADL 2018 | Author of Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell within the PADL 2018-track |
Not registered as user yet
Contributions
PADL 2018 | Author of Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell within the PADL 2018-track |