I remember reading it and taking some inspiration for my thesis work.

CPS is quite useful for abstract interpretation when doing flow-based type-inference systems since the continuation just becomes another value to track.