Complete and easy bidirectional typechecking for higher-rank polymorphism.

Jana Dunfield, Neelakantan R. Krishnaswami

Browse the full ICFP paper archive.