3 ms·The simple essence of algebraic subtyping: principal type inference with subtypi (2020)1 points by fanf2 2y agodeleted 2y ago[deleted]