Snrkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.

Gordon Stewart, Samuel Merten, Logan Leland

Browse the full PADL paper archive.