Principal Signatures for Higher-Order Program Modules

Mads Tofte. Principal Signatures for Higher-Order Program Modules. In POPL. pages 189-199, 1992.

Abstract

Abstract is missing.