We have extensively compared our work to the closest related work, Lift [1]}, [2]}, throughout this paper.
There exist several similar compilers with functional IRs, including Futhark [3]}, Accelerate [4]}, and Dex [5]}.
Delite [6]} uses parallel patterns similar to RISE to provide a framework for building DSL compilers.
[7]} presents an implementation of a RISE-like language as a MLIR dialect [7]}.
The MLIR [9]} dialect linalg cites Lift as a direct influence.
Of course there exist other IRs that incorporate functional aspects, such as the functional graph-based Thorin [10]} IR that provides explicit support for higher-order functions.
Many machine learning compilers, such as TensorFlow [11]} and PyTorch [12]}, follow a functional graph-based IR that is inspired by ideas from data-flow programming.
