[Dok Melody Scratchpad Notes]

dok/paper/familia-oop-paradigm

[1] Y. Zhang and A. C. Myers, “Familia: unifying interfaces, type classes, and family polymorphism,” Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA, pp. 1–31, Oct. 2017, doi: 10.1145/3133894.