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 syst

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.