Hicks MW.  1998.  Types and intermediate representations. Technical Reports (CIS). :796-796.