If you’re not already familiar with it, you may find the GRIN (Graph Reduction Intermediate Notation) compiler project interesting: https://github.com/grin-compiler/grin