5 ms·Principal type-schemes for functional programs, Annotated by Eric Lippert2 points by douche 10y ago