I’ve been meaning to check out #PartialEvaluation (https://en.wikipedia.org/wiki/Partial_evaluation) & #FutamuraProjections for a while:
“Writing Truly Memory Safe JIT Compilers”, Mike Hearn (https://medium.com/graalvm/writing-truly-memory-safe-jit-compilers-f79ad44558dd).