Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.

Jana Dunfield Neelakantan R. Krishnaswami

Published in: CoRR (2013)

Keyphrases

higher quality
rank aggregation
data sets
neural network
website
image sequences
multi agent
special case
regular expressions
significantly higher
rank order