Danvy, O. 2017. An Analytical Approach to Programs as Data Objects. Aarhus University.