U.Reddy and E.Ireland, Assignments for Applicative Languages, proc (1991)

by V Swarup
Venue:FPCA 91, LNCS 523