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 GHC.Core.Op.Exitify.

• The label join points lists tickets about join points