[hyperpape]

This series may also be relevant, but I never read it in full: https://msm.runhello.com/p/category/plt/no-compiler.