Stephanie Weirich Higher-Order Intensional Type Analysis. 98-114 2002 ESOP conf/esop/2002 http://link.springer.de/link/service/series/0558/bibs/2305/23050098.htm db/conf/esop/esop2002.html#Weirich02