KOKA author is now on this http://2015.ecoop.org/profile/daanleijen

and also tutoring PhD (I assume) students for http://goto.ucsd.edu/~nvazou/koka/icfp15.pdf