Theorems for free for free: parametricity, with and without types.

Amal Ahmed Dustin Jamner Jeremy G. Siek Philip Wadler

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

lower bound
data sets
search engine
high level
multiscale
pairwise
hidden markov models