Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang. A Type Theoretic Specification of Partial Evaluation. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 57-68, ACM, 2014. [doi]
Abstract is missing.