This is a great paper. The general idea is often called "multi-stage programming". The academic work has mainly focused on performance, which I don't think is t

This is a great paper. The general idea is often called "multi-stage programming". The academic work has mainly focused on performance, which I don't think is the most interesting use in industry.