Vipin Swarup Uday S. Reddy Evan Ireland Assignments for Applicative Languages. 192-214 1991 conf/fpca/1991 FPCA db/conf/fpca/fpca1991.html#SwarupRI91