compiler/tower-of-interpreters
It is an IR for transforming generic code, with multi-stage pass into a fused code. It supportsfeature/abstract-interpretation
[1] N. Amin and T. Rompf, “Collapsing towers of interpreters,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, pp. 1–33, Dec. 2017, doi: 10.1145/3158140.