Practical typed lazy contracts.

Published in: ICFP (2012)

Keyphrases

supply chain
real world
information systems
database
medical images
practical application
data sets
data mining
information retrieval
learning algorithm