This page summarises work on join points in GHC
Compiling without continuations is the main paper that describes join points.
The loopification wiki page describes loopification -- I think it's rather out of date.
Ticket #14152 (closed) describes the Exitification transformation, which uses join points. The relevant module is
The label join points lists tickets about join points