Sources for the Zappa Nardelli et al. subtyping implementation?

It seems all the data I want is here (although there’s no Git repo, sadly): Julia Subtyping: a Rational Reconstruction

2 Likes