Yes, Julia uses a similar "lowered" form: http://docs.julialang.org/en/latest/devdocs/ast/#lowered-for...

If you are interested in more details, there was a talk two years about the compiler design: https://www.youtube.com/watch?v=osdeT-tWjzk (many type names and implementation details have changed since then, but conceptually it is still very applicable).