Partial evaluation, self-application, and types (0)

by N D Jones
Venue:17th International Colloquium on Automata, Languages, and Programming (ICALP