Do you have any examples of TAIL code? I'm interested in using it as a target for the compiler class I teach
I suggest connecting directly to DIKU for academic matters.
They are doing other interesting work on array based programming:
Futhark, a related data-parallel functional array language that compiles to GPU code and easily integrates into Python code is another interesting project from there.