"Type-Completeness" as a Language Design Principle.

Alan J. Demers, James E. Donahue

Browse the full POPL paper archive.