Principled Ad-Hoc Polymorphism [2018] (via phk) — discussion

#plt