Sign in

Partiality, State and Dependent Types.

Kasper SvendsenLars BirkedalAleksandar Nanevski
Published in: TLCA (2011)
Keyphrases
  • state space
  • case study
  • web pages
  • knowledge base
  • web services
  • multiscale
  • data structure
  • association rules
  • pairwise
  • multiresolution