"Escaping with Future Variables in HALO."

Charlotte Herzeel, Kris Gybels, Pascal Costanza (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics