Mads Tofte Principal Signatures for Higher-Order Program Modules. 285-335 1994 4 J. Funct. Program. 3 db/journals/jfp/jfp4.html#Tofte94