Generative type abstraction and type-level computation.

Stephanie Weirich Dimitrios Vytiniotis Simon L. Peyton Jones Steve Zdancewic

Published in: POPL (2011)

Keyphrases

higher level
information retrieval
three dimensional
pairwise
computer vision
similarity measure
generative model