Unifying Hybrid Types and Contracts.

Jessica Gronski Cormac Flanagan

Published in: Trends in Functional Programming (2007)

Keyphrases

databases
supply chain
data mining
artificial intelligence
computer vision
knowledge base
image processing
pairwise
multiresolution
control system