GOOL: A Generic Object-Oriented Language (extended version). - Jacques Carette; Brooks MacLachlan; W. Spencer Smith (CoRR, 2019)

GOOL: a generic object-oriented language. - Jacques Carette; Brooks MacLachlan; Spencer Smith 001 (PEPM@POPL, 2020)