SnÄrkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
Crossref DOI link: https://doi.org/10.1007/978-3-319-73305-0_3
Published Online: 2017-12-22
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Stewart, Gordon http://orcid.org/0000-0003-0244-2980
Merten, Samuel http://orcid.org/0000-0001-8763-0053
Leland, Logan http://orcid.org/0000-0002-1434-386X
License valid from 2017-12-22