Making a faster Curry with extensional types.

Paul Downen Zachary Sullivan Zena M. Ariola Simon Peyton Jones

Published in: Haskell@ICFP (2019)

Keyphrases

data sets
real world
information retrieval
three dimensional
face recognition
search algorithm
pairwise
integrity constraints
multiple types