J. Gregory Morrisett Type Checking Systems Code. 1-5 2002 conf/esop/2002 ESOP http://link.springer.de/link/service/series/0558/bibs/2305/23050001.htm db/conf/esop/esop2002.html#Morrisett02