Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.

Gordon Stewart Samuel Merten Logan Leland

Published in: PADL (2018)

Keyphrases

programming language
real world
neural network
high level
knowledge representation
software engineering
plagiarism detection
learning algorithm
search engine
computer vision
knowledge base
website
image segmentation
artificial neural networks
sufficient conditions
functional programming