Sign in

Generative type abstraction and type-level computation.

Stephanie WeirichDimitrios VytiniotisSimon L. Peyton JonesSteve Zdancewic
Published in: POPL (2011)
Keyphrases
  • higher level
  • information retrieval
  • three dimensional
  • pairwise
  • computer vision
  • similarity measure
  • generative model