Principal Signatures for Higher-Order Program Modules.

Mads Tofte

Browse the full POPL paper archive.