Robert Harper Constructing Type Systems over an Operational Semantics. 71-84 1992 14 J. Symb. Comput. 1 db/journals/jsc/jsc14.html#Harper92