Partiality, State and Dependent Types.

Kasper Svendsen Lars Birkedal Aleksandar Nanevski

Published in: TLCA (2011)

Keyphrases

state space
case study
web pages
knowledge base
web services
multiscale
data structure
association rules
pairwise
multiresolution