Equivalences for free: univalent parametricity for effective transport.

Nicolas Tabareau Éric Tanter Matthieu Sozeau

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

Keyphrases

computationally efficient
information systems
real time
computer vision
decision trees
high quality
evolutionary algorithm
connected components