Complete and easy bidirectional typechecking for higher-rank polymorphism.

Jana Dunfield Neelakantan R. Krishnaswami

Published in: ICFP (2013)

Keyphrases

real time
multimedia
regular expressions
databases
decision making
multiresolution
mobile robot
learning to rank
higher quality
rank order