A Type Theoretic Specification of Partial Evaluation.

Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang

Browse the full PPDP paper archive.