I seemed to remember one of the authors from some previous work on formalizing multimethod dispatch, so I looked him up again..

He seems to have written a ton of interesting stuff on PL theory!

https://www.irif.fr/~gc/papers.en.html