Static contract checking for Haskell.

Dana N. Xu Simon L. Peyton Jones Koen Claessen

Published in: POPL (2009)

Keyphrases

programming language
computer vision
database systems
real time
machine learning
supply chain
dynamic analysis
functional programming
neural network
video sequences
multi agent systems