Assignments for Applicative Languages. - Vipin Swarup; Uday S. Reddy; Evan Ireland (FPCA, 1991)