4 ms·“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism”1 points by jdemler 8y ago