Intersection types and computational effects.

Rowan Davies Frank Pfenning

Published in: ICFP (2000)

Keyphrases

database
data sets
data mining
image processing
video sequences
artificial intelligence
social networks
information systems
wide range
data model
control system
scheduling problem
computationally tractable